diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-14 21:24:43 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-14 21:24:43 -0400 |
| commit | d8d1a2be7723577d926143b315a3bbce9f1482d9 (patch) | |
| tree | 413671732e5f90b7b781583d4d45c9a7cc996276 /_CoqProject | |
| parent | 2284a57586e923413abf0c3b19a34e40d4a8c059 (diff) | |
Remove useless import
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions