Mercurial > urweb

diff src/settings.sig @ 1953:0992323fa264

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
noMangleSql .urp directive
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Jan 2014 19:02:14 -0500
parents df6a040f5389
children ac1be85e91ad
line wrap: on
line diff
--- a/src/settings.sig	Wed Jan 01 10:51:47 2014 -0500
+++ b/src/settings.sig	Sat Jan 04 19:02:14 2014 -0500
@@ -258,6 +258,11 @@
     val setTimeFormat : string -> unit
     val getTimeFormat : unit -> string
 
-	val getCCompiler : unit -> string
-	val setCCompiler : string -> unit
+    val getCCompiler : unit -> string
+    val setCCompiler : string -> unit
+
+    val setMangleSql : bool -> unit
+    val mangleSql : string -> string
+    val mangleSqlCatalog : string -> string
+    val mangleSqlTable : string -> string
 end