diff options
| author | hut <hut@lavabit.com> | 2013-03-09 18:50:18 +0100 |
|---|---|---|
| committer | hut <hut@lavabit.com> | 2013-03-09 18:50:39 +0100 |
| commit | 6c5f7d73bc634be4b566f041ff12c6d481fb4207 (patch) | |
| tree | 4260c8623bcee8f80576eb815a07dee138da963f /doc | |
| parent | d2c7d024290ee95afa418975c728ad64172dcfec (diff) | |
| download | ranger-6c5f7d73bc634be4b566f041ff12c6d481fb4207.tar.gz | |
move doc/print_{colors,keys}.py to doc/tools/
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/tools/print_colors.py (renamed from doc/print_colors.py) | 0 | ||||
| -rwxr-xr-x | doc/tools/print_keys.py (renamed from doc/print_keys.py) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/print_colors.py b/doc/tools/print_colors.py index ce040b33..ce040b33 100755 --- a/doc/print_colors.py +++ b/doc/tools/print_colors.py diff --git a/doc/print_keys.py b/doc/tools/print_keys.py index 17d2513b..17d2513b 100755 --- a/doc/print_keys.py +++ b/doc/tools/print_keys.py |