Mercurial > urweb
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