X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/385c3534feda76934476fd3a058574fc84e302da..44a5ce2fefb401654d7578db21f7e4e88b60b851:/src/main.sig

diff --git a/src/main.sig b/src/main.sig
index 791b357..f8d6b94 100644
--- a/src/main.sig
+++ b/src/main.sig
@@ -45,6 +45,7 @@ signature MAIN = sig
     val service : unit -> unit
     val slave : unit -> unit
 
+    val listBasis : unit -> string list
     val autodocBasis : string -> unit
 
 end