log src/settings.sml

age author description
Sun, 01 Nov 2015 11:55:01 -0500 Adam Chlipala Basis.fromMilliseconds
Sun, 18 Oct 2015 16:03:56 -0400 Adam Chlipala Allow duplicate 'file' directives if paths normalize to same value
Thu, 20 Aug 2015 15:11:40 -0400 Adam Chlipala Beautify '-h' output for web servers