diff options
| author | Thomas Bauereiss | 2020-03-27 22:00:36 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-10 13:22:11 +0100 |
| commit | 151f5dbcd31fb2181a050ecc287dc5cf8646e6a4 (patch) | |
| tree | 3b8392642f922005b233d6da6663c844b3711eee /src/optimize.ml | |
| parent | 4a04aec7e5ef23137c7dfbf5e655e183582c9769 (diff) | |
Add test output to gitignore
Diffstat (limited to 'src/optimize.ml')
0 files changed, 0 insertions, 0 deletions