Pietro
|
4109adfd77
|
Node: properly report RPC port already in use, fixes #69
|
2018-01-24 18:28:19 +01:00 |
|
Benjamin Canou
|
64c65558d8
|
Node: add missing error pretty printers
|
2018-01-22 22:25:30 +01:00 |
|
Pietro
|
2f85dc526d
|
Node: fails gracefully if data dir cannot be created, fixes #83
|
2018-01-22 22:25:30 +01:00 |
|
Grégoire Henry
|
bfb2d223c0
|
opam: fix sandboxed scripts
|
2018-01-22 09:20:46 +01:00 |
|
Grégoire Henry
|
525b09259f
|
Fix d9405292a4
|
2018-01-18 16:08:20 +01:00 |
|
Pietro
|
d9405292a4
|
Move all packages to src/
Modify Makefile accordingly
|
2018-01-16 23:11:39 +01:00 |
|