Thomas Hochstein 77cd2e21b4 Just cache '<!-- idem -->' for unchanged texts. ... This saves space and writing/loading times. Signed-off-by: Thomas Hochstein <thh@inter.net>		2017-05-25 13:44:03 +02:00
..
abbreviations.rb	Initial checkin.	2014-04-17 17:02:41 +02:00
dejure.rb	Just cache '<!-- idem -->' for unchanged texts.	2017-05-25 13:44:03 +02:00