Alexander Gessler d717c4b2dd Fix to have gen_db.py also include files that accidentally have uppercase file extensions, affecting ~200 files previously skipped.

2015-03-28 13:36:47 +01:00

2.5 KiB

Raw Blame History

View Raw