diff options
| author | Gaëtan Gilbert | 2019-10-02 14:29:31 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-02 14:29:31 +0200 |
| commit | 08740d8e5a6974183e13b4cf372caade1c25f6fa (patch) | |
| tree | f2d5ce163f9a990ecf5181bd628dae9acdad7087 /Makefile.build | |
| parent | 004d7aeeca9f5ae4ceb9f109fa90a87e58457680 (diff) | |
simplify branch in process_universe_constraints
Diffstat (limited to 'Makefile.build')
0 files changed, 0 insertions, 0 deletions