portal/cert: clarify intermediate cert requests
[hcoop/portal.git] / remind / remind.sig
CommitLineData
dda99898
AC
1signature REMIND =
2sig
3 val main : string * string list -> OS.Process.status
4end