2018-11-07 ignore whitespace/case by default to reduce false positives
nemo [Wed, 07 Nov 2018 15:18:09 -0500] rev 14165
ignore whitespace/case by default to reduce false positives
2018-11-07 fix texturing and add a theme loading option to land_dump
alfadur [Wed, 07 Nov 2018 22:58:54 +0300] rev 14164
fix texturing and add a theme loading option to land_dump
2018-11-07 requires bash
nemo [Wed, 07 Nov 2018 14:56:34 -0500] rev 14163
requires bash
2018-11-07 Some minor fixes in de.txt
Wuzzy <Wuzzy2@mail.ru> [Wed, 07 Nov 2018 20:39:20 +0100] rev 14162
Some minor fixes in de.txt
(0) -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip