This commit is contained in:
parent
c8301fba7d
commit
28bc9d5607
2 changed files with 3 additions and 13 deletions
|
|
@ -1,13 +1,6 @@
|
|||
(* TODO
|
||||
all management operations:
|
||||
/management/wire
|
||||
/management/wire/disable
|
||||
|
||||
/management/aml-officers
|
||||
-> /aml
|
||||
/management/partners
|
||||
-> /wads *)
|
||||
|
||||
(* not done:
|
||||
/management/aml-officers (for /aml)
|
||||
/management/partners (for /wads) *)
|
||||
open Cmdliner
|
||||
open Cmdliner.Term.Syntax
|
||||
open Offline_impl
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue