log

age author description
Mon, 27 Feb 2017 11:05:45 -0800 Ludovic Chabant Don't fold too much.
Wed, 09 Aug 2017 21:40:36 -0700 Ludovic Chabant Merge changes.
Sat, 05 Aug 2017 22:11:13 -0700 Ludovic Chabant Miscellaneous tweaks.