diff options
author | Jason Gross <jgross@mit.edu> | 2017-04-06 18:20:35 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-04-06 18:20:35 -0400 |
commit | be79f23b1b0ba22d0063821d233ed86185b11ca6 (patch) | |
tree | 86d7334c9f714fdeaac48981e953cf39e31fa672 /src/LegacyArithmetic | |
parent | eb6f1f415868acca3a0cdb3837b2871b0907fe5f (diff) |
Clean up coq_makefile invocation
We don't need that part of the `sed` command anymore, now that we no
longer support 8.4.
Diffstat (limited to 'src/LegacyArithmetic')
0 files changed, 0 insertions, 0 deletions