Jeremie Dimino af5208416f Simplify overrides in the bootstrap path ... - vendored libraries are replaced by files in `vendor/boot` - files named `XXX.boot.EXT` replace their `XXX.EXT` equivalent For instance, to build boot.exe, we use `src/glob_lexer.boot.ml` rather than `src/glob_lexer.ml` (which would be generated from `src/glob_lexer.mll`).		2017-09-22 01:52:04 +01:00
..
boot	Simplify overrides in the bootstrap path	2017-09-22 01:52:04 +01:00
cmdliner	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
opam-file-format/src	copy-and-add-line-directive --> copy#	2017-06-05 12:11:39 +01:00
re	Refresh re and cmdliner	2017-05-02 14:08:51 +01:00
update-cmdliner.sh	Add a script to upgrade vendor/cmdliner	2017-05-02 14:08:51 +01: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