diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-01-31 13:58:04 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-01-31 13:58:04 +0100 |
| commit | bc86b4a7e9c847180e6fd7ed81e0a15d5aee00a0 (patch) | |
| tree | 792f7fd235280bbb315bdf370ff9eddf4ad4d101 /Makefile | |
| parent | e9cfc4a453ac0bdfaee44ab3f6d010a2cfecec5e (diff) | |
Added "equiv_induct -undef"
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions