diff options
| author | David Aspinall | 2011-06-09 13:39:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-06-09 13:39:47 +0000 |
| commit | bee51985d67c7217f0b60ca37295972015dd64eb (patch) | |
| tree | e3145a0e4111b35993ab7ac719febbdfb3bddd2b /generic | |
| parent | 351257b6e2355bae8d450f7163977f23120a9626 (diff) | |
Add etc/coq/parsingcheck-410.v to executed files
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions