-
mirabilos authored
Date: Fri Dec 22 20:02:27 2017 +0100 string sharing Date: Fri Dec 22 20:07:43 2017 +0100 glopts can be static Date: Fri Dec 22 20:34:12 2017 +0100 largish code cleanup Date: Fri Dec 22 20:58:59 2017 +0100 major const cleanup Date: Sat Dec 23 01:41:49 2017 +0100 fix refactoro: this code is run in a loop, reinitialise each time Date: Sat Jan 6 00:54:10 2018 +0100 fix regression: `` did no longer insert a sole ` (etc.) also, factor out common code and optimise it Date: Sat Jan 6 01:05:42 2018 +0100 2018 Date: Sat Jan 6 01:05:47 2018 +0100 more const cleanup while here also, update NEWS
db4c82be