log src/settings.sml

age author description
Thu, 12 Nov 2015 08:46:51 -0500 Ziv Scully Merge.
Mon, 19 Oct 2015 14:42:22 -0400 Ziv Scully Merge.