diff options
| author | hut <hut@lepus.uberspace.de> | 2015-10-09 13:59:37 +0200 |
|---|---|---|
| committer | hut <hut@lepus.uberspace.de> | 2015-10-15 11:54:14 +0200 |
| commit | 82ae8743adf352387dd1f3996af1dbe5a25a02a3 (patch) | |
| tree | 2079c18a21f28957e373e8f1e4bbe3da41f88b13 /doc/tools/convert_papermode_to_metadata.py | |
| parent | 8d774594cd2006beeff06b65755579b9b46ca44d (diff) | |
| download | ranger-82ae8743adf352387dd1f3996af1dbe5a25a02a3.tar.gz | |
scope.sh: generalize "highlight" function, add pygmentize
Diffstat (limited to 'doc/tools/convert_papermode_to_metadata.py')
0 files changed, 0 insertions, 0 deletions