diff options
| author | hut <hut@hut.pm> | 2018-05-15 23:04:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-15 23:04:13 +0200 |
| commit | fe1989b52c871c23327bfd6296330bebabc47ad1 (patch) | |
| tree | 47aa3d48fe5272ae96d562b951ff8788f4fc5bb6 /doc/tools/convert_papermode_to_metadata.py | |
| parent | 813fee2df7cad085dc0ed0ede745e64aec10a4c0 (diff) | |
| parent | 6891ddc45b2cac79fdf51546b35167fe9fa0baa0 (diff) | |
| download | ranger-fe1989b52c871c23327bfd6296330bebabc47ad1.tar.gz | |
Merge pull request #1111 from vimeitor/master
Add delay after opening (quickly_executed) a file
Diffstat (limited to 'doc/tools/convert_papermode_to_metadata.py')
0 files changed, 0 insertions, 0 deletions