|
boot
|
Add ignored_subdirs stanza (#767)
|
2018-05-12 15:38:22 +02:00 |
|
cmdliner
|
Rename all jbuild files
|
2018-05-04 12:26:26 +01:00 |
|
opam-file-format/src
|
Rename all jbuild files
|
2018-05-04 12:26:26 +01:00 |
|
re
|
Rename all jbuild files
|
2018-05-04 12:26:26 +01:00 |
|
update-cmdliner.sh
|
Don't stop on the first error (#477)
|
2018-02-06 14:39:03 +00:00 |
|
update-opam-file-format.sh
|
Imported opam-file-format
|
2017-05-08 16:56:21 +01:00 |
|
update-re.sh
|
Add a script to upgrade vendor/re
|
2017-05-02 14:08:47 +01:00 |
|
update-usexp.sh
|
Vendored usexp and switch to it
|
2017-12-21 13:13:47 +00:00 |
bc19e14b35