diff options
| author | Robert Norton | 2019-12-18 12:12:09 +0000 |
|---|---|---|
| committer | GitHub | 2019-12-18 12:12:09 +0000 |
| commit | 351867a4bd720469b40e397f61448223e0bf6c41 (patch) | |
| tree | 0bf58059485985fa8975497c26f446f78c3d8216 /src/jib/jib_optimize.ml | |
| parent | 78979a0b2aade430f90c9ef116bb684a30d8d0a8 (diff) | |
Update INSTALL.md with feedback from Patrick Taylor on MacOS
Diffstat (limited to 'src/jib/jib_optimize.ml')
0 files changed, 0 insertions, 0 deletions