diff src/settings.sig @ 766:df09c95085f8

More FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 May 2009 12:10:43 -0400
parents a28982de5645
children 3b7e46790fa7
line wrap: on
line diff
--- a/src/settings.sig	Sat May 02 11:27:26 2009 -0400
+++ b/src/settings.sig	Sat May 02 12:10:43 2009 -0400
@@ -39,6 +39,10 @@
     val setHeaders : string list -> unit
     val getHeaders : unit -> string list
 
+    (* Which extra JavaScript URLs should be included? *)
+    val setScripts : string list -> unit
+    val getScripts : unit -> string list
+
     type ffi = string * string
 
     (* Which FFI types may be sent from clients to servers? *)