Grégoire Henry
|
acffadafae
|
Jbuilder: fix warning
|
2018-02-07 11:16:39 +01:00 |
|
Grégoire Henry
|
575e367026
|
Update copyright notice (2018)
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
e28219ad60
|
Opam: update to jbuilder.1.0+beta17
|
2018-02-05 23:34:05 +01:00 |
|
Grégoire Henry
|
09a7e98f9d
|
Shell: enforce the allowed passes of an operation
|
2018-02-02 11:56:57 +01:00 |
|
Grégoire Henry
|
6e629584ff
|
Jbuilder: fix rule runtest_indent
|
2018-01-27 11:32:57 +01:00 |
|
Pietro
|
d9405292a4
|
Move all packages to src/
Modify Makefile accordingly
|
2018-01-16 23:11:39 +01:00 |
|