Grégoire Henry 5ac629f335 More renaming registred -> registered		2018-03-16 18:38:41 +01:00
..
test	Resto: minor simplification (remove RPC_service.map)	2018-02-11 19:45:40 +01:00
ezResto_directory.ml	More renaming registred -> registered	2018-03-16 18:38:41 +01:00
ezResto_directory.mli	More renaming registred -> registered	2018-03-16 18:38:41 +01:00
jbuild	Build: add -safe-string to more places	2017-12-12 11:42:18 +01:00
ocplib-ezresto-directory.opam	Resto: minor renaming	2017-12-11 17:53:45 +00:00