Add `irmin_client_jsoo.mli` and rename `Protocol` to `Websocket_protocol` - Githubissues

mirage / irmin-server

A high-performance server for Irmin

ISC License

24 stars 7 forks source link

Add `irmin_client_jsoo.mli` and rename `Protocol` to `Websocket_protocol` #51

Closed zshipko closed 2 years ago