Philip Sargent 4d61479c43 fix to o umlaut encoding		2020-05-07 20:56:01 +01:00
..
detect-filename-clashes.py	Better fix ignores .git in all subdirs	2020-03-26 11:38:41 +00:00
make-folklist.py	last bits of hg	2020-04-24 23:04:41 +01:00
summarizecave.sh	another script found - to be documented and then either included or junked	2020-04-16 12:23:54 +01:00
svx2qm.py	Moved from location in loser repo to here	2020-04-22 19:52:56 +01:00
TableSort.js	add static caves table	2019-03-04 20:34:19 +00:00