jw-python/scripts
Jan Lindemann e1974118b5 process-text-files.py: Fix file name matching
For some unbeknown reason, file names were compared case-invariantly
before deciding upon renaming them.

Signed-off-by: Jan Lindemann <jan@janware.com>
2018-03-16 15:02:09 +01:00
..
Makefile Add script trim-src.py 2017-11-18 15:42:09 +01:00
process-text-files.py process-text-files.py: Fix file name matching 2018-03-16 15:02:09 +01:00
trim-src.py Explicitly set python version in hashbang 2017-12-29 22:26:06 +01:00