log src/settings.sml

age author description
Sat, 12 Sep 2015 17:11:33 -0400 Ziv Scully Merge.
Wed, 06 May 2015 14:51:09 -0400 Ziv Scully Merge.