diff options
| author | David Aspinall | 2004-04-23 10:51:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-23 10:51:10 +0000 |
| commit | 610a72455b54a8ff0f1f6aead5249d856d314838 (patch) | |
| tree | 5ace8b9e6ab8ed208ec19bf93459564af9a0603b /FAQ | |
| parent | 21371a3d0691999b8ffb131cb1541a608b628dd7 (diff) | |
Adjust attempt at multiple file handling. Run make instead of coqc if find a makefile. Begin handling requires.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions