diff src/settings.sig @ 2197:6eae499c56cb

New .urp directive: jsFile
author Adam Chlipala <adam@chlipala.net>
date Sat, 05 Dec 2015 12:04:06 -0500
parents fb113569519e
children 6fb9232ade99
line wrap: on
line diff
--- a/src/settings.sig	Fri Nov 27 15:28:12 2015 -0500
+++ b/src/settings.sig	Sat Dec 05 12:04:06 2015 -0500
@@ -288,4 +288,7 @@
 
     val addFile : {Uri : string, LoadFromFilename : string} -> unit
     val listFiles : unit -> {Uri : string, ContentType : string option, LastModified : Time.time, Bytes : Word8Vector.vector} list
+
+    val addJsFile : string (* filename *) -> unit
+    val listJsFiles : unit -> {Filename : string, Content : string} list
 end