This website requires JavaScript.
Explore
Help
Register
Sign In
balsoft
/
ligo
Watch
1
Star
0
Fork
0
You've already forked ligo
Code
Issues
Pull Requests
Releases
Wiki
Activity
e7bb484ead
ligo
/
vendors
/
ocplib-resto
/
lib_ezresto-directory
History
Grégoire Henry
c9822abab7
Resto: minor simplification (remove
RPC_service.map
)
2018-02-11 19:45:40 +01:00
..
test
Resto: minor simplification (remove
RPC_service.map
)
2018-02-11 19:45:40 +01:00
ezResto_directory.ml
Resto: minor renaming
2017-12-11 17:53:45 +00:00
ezResto_directory.mli
Resto: minor renaming
2017-12-11 17:53:45 +00: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