From bad7adde120773d46af83ab972967f26823e37b4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 5 Dec 2015 12:04:06 -0500
Subject: New .urp directive: jsFile

---
 src/settings.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index d918f0c5..3f39d3e2 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -288,4 +288,7 @@ signature SETTINGS = sig
 
     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
-- 
cgit v1.2.3