misc: rename to scripts. tab completion!!

Browse Source

issue510

David Wilson 5 years ago

parent 0c0d34241b

commit ae8173a29f

1 changed files with 0 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File

0

misc/pogrep.py → scripts/pogrep.py

Unescape Escape View File

Write Preview

Loading…

Cancel

Save