diff src/config.sig @ 569:162d5308e34f

Successfully generated a page element from a signal
author Adam Chlipala <adamc@hcoop.net>
date Sat, 20 Dec 2008 16:19:26 -0500
parents f7b25375c0cf
children e12cef71aa1a
line wrap: on
line diff
--- a/src/config.sig	Sat Dec 20 15:46:48 2008 -0500
+++ b/src/config.sig	Sat Dec 20 16:19:26 2008 -0500
@@ -6,6 +6,7 @@
 
     val libUr : string
     val libC : string
+    val libJs : string
 
     val gccArgs : string
 end