X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/573def24c0220a72beff4e3f5739a450d83de170..3b54a6660b3834d3c47d86cdcf6d039609772a26:/init.sig

diff --git a/init.sig b/init.sig
index 4c0ffa3..0b557de 100644
--- a/init.sig
+++ b/init.sig
@@ -37,7 +37,6 @@ signature INIT = sig
     val modUser : user -> unit
     val deleteUser : int -> string
     val byPledge : unit -> user list
-    val unmigratedUsers : unit -> user list
 
     val validUsername : string -> bool
     val userNameToId : string -> int option
@@ -50,8 +49,6 @@ signature INIT = sig
 
     val dateString : unit -> string
 
-    val grandfatherUsers : unit -> unit
-
     type node = {id : int, name : string, descr : string, debian : string}
 
     val listNodes : unit -> node list