diff options
| author | 0xjmz <0xjmz@users.noreply.github.com> | 2017-07-31 16:12:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-31 16:12:03 +0200 |
| commit | 0ed04f4559e8f68ee7c74a3ff79cc47b52260764 (patch) | |
| tree | 2dd781f083d9ea7dcd9996c04d7eed8777345b3b /doc/tools/convert_papermode_to_metadata.py | |
| parent | a9309d678fca664df67d8aa9a307669d7f275179 (diff) | |
| parent | 35f47f53a32b29f746c5ddcd4fb367bf2ad7e640 (diff) | |
| download | ranger-0ed04f4559e8f68ee7c74a3ff79cc47b52260764.tar.gz | |
Merge branch 'master' into fix-faster-loading
Diffstat (limited to 'doc/tools/convert_papermode_to_metadata.py')
| -rwxr-xr-x | doc/tools/convert_papermode_to_metadata.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tools/convert_papermode_to_metadata.py b/doc/tools/convert_papermode_to_metadata.py index e4010a73..57459097 100755 --- a/doc/tools/convert_papermode_to_metadata.py +++ b/doc/tools/convert_papermode_to_metadata.py @@ -1,4 +1,4 @@ -#!/bin/python +#!/usr/bin/env python """ usage: ./convert_papermode_to_metadata.py |