log src/sources

age author description
Fri, 22 Nov 2013 09:36:14 -0500 Anders Kaseorg Allow building in a separate build directory
Sat, 15 Jun 2013 08:18:47 -0400 Adam Chlipala Add Sigcheck phase to avoid issues with signatures in global initializers
Thu, 02 Aug 2012 18:12:37 -0400 Adam Chlipala New NameJs phase, still needing some debugging