diff options
author | hut <hut@lavabit.com> | 2013-02-17 20:29:23 +0100 |
---|---|---|
committer | hut <hut@lavabit.com> | 2013-02-17 20:29:23 +0100 |
commit | 93ed704c2ac066772b0da90840d9c57688d88a36 (patch) | |
tree | d2bd4122a522209b8d375962780ac8c3a5fa0931 /doc/print_keys.py | |
parent | c6cfbaf2dae5d5aadfabfa82e48a1ca7d3ae0708 (diff) | |
download | ranger-93ed704c2ac066772b0da90840d9c57688d88a36.tar.gz |
core.loader: actually kill the process when using kill_on_pause
Diffstat (limited to 'doc/print_keys.py')
0 files changed, 0 insertions, 0 deletions