diff options
| author | Gaëtan Gilbert | 2017-10-07 11:26:42 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-10-07 11:32:37 +0200 |
| commit | 7359499815bb98a7fd20306cd5084f3048149a44 (patch) | |
| tree | f34000f0e5145ee779cc14c4d17895b777f0f74c /dev | |
| parent | f1598b00219a951e94036cb7f48a8fe1309025f1 (diff) | |
Fix hardcoded boot dependencies after #1041.
Specifically since e88dfedd99a84e9e375f3583be6fd1de3de36c72.
There seem to have been no actual errors due to this, only ocaml
complaining about missing .cmi files.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions