diff options
author | Jason Gross <jasongross9@gmail.com> | 2019-01-14 11:23:45 -0800 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2019-01-14 11:25:10 -0800 |
commit | bc25d4aa8bda317fab84202bba6fa6bed985e502 (patch) | |
tree | 68cbfb50aa4a8cc36c1a6578593f8e72d33b315d /_CoqProject | |
parent | cec22479b0a65480b9e41134e6d547eb6653b8f7 (diff) |
Comment out a slow .c file
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions