diff options
| author | Hendrik Tews | 2011-01-17 07:44:42 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-17 07:44:42 +0000 |
| commit | aa76421458123fc17a61f4b7218a175ece5e9404 (patch) | |
| tree | 0245b800d05734b15e2d65be0c5dd9005c143036 /FAQ | |
| parent | a8855cbf77923217c40bc7abe289f778392b25a9 (diff) | |
fix problems in test cases
coq/ex/test-cases/multiple-files-single-dir and multiple-files-multiple-dir
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions