users: filter retired by default, remove dead code

[hcoop/portal.git] / init.sig

diff --git a/init.sig b/init.sig
index 4c0ffa3..0b557de 100644 (file)
--- 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