John David Pressman
|
16ac289381
|
[LIGO-347] Add changelog
|
2020-01-08 10:54:21 +00:00 |
|
Lesenechal Remi
|
2bff4eef6a
|
Commit hash for bisect_ppx pinned dep
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
23cc7e82d6
|
Revert "no pinned deps"
This reverts commit 9c3d8d7df22d7e5befc8e80ab890a90cbf0862b6.
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
783cd355e4
|
no pinned deps
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
c8339ed2ef
|
first try
|
2019-12-31 14:23:51 +01:00 |
|
Tom Jack
|
c83813456a
|
Relocate .opam
|
2019-12-16 22:50:25 +00:00 |
|
Georges Dupéron
|
c43570a82d
|
Move into src/; add vendors/ subfolder, add CI script.
|
2019-05-14 17:53:44 +02:00 |
|
Galfour
|
4a8aa8e311
|
change opam
|
2019-05-13 13:16:03 +00:00 |
|
Galfour
|
8765e7258a
|
fix stuff
|
2019-05-13 12:20:23 +00:00 |
|
Galfour
|
1edfd8ea06
|
initial commit
|
2019-05-12 20:57:30 +00:00 |
|