log src/settings.sig

age author description
Sat, 05 Dec 2015 12:04:06 -0500 Adam Chlipala New .urp directive: jsFile
Sun, 22 Nov 2015 10:03:35 -0500 Adam Chlipala Make daemon mode support sharing of libraries across projects
Thu, 31 Jul 2014 09:56:41 -0400 Adam Chlipala New .urp directive: file
Fri, 02 May 2014 19:19:09 -0400 Adam Chlipala New lessSafeFfi
Sun, 09 Feb 2014 19:29:36 -0500 Adam Chlipala neverInline
Thu, 09 Jan 2014 17:27:24 -0500 Adam Chlipala Add 'html5' .urp directive
Sat, 04 Jan 2014 19:02:14 -0500 Adam Chlipala noMangleSql .urp directive