diff options
| author | Enrico Tassi | 2017-11-13 17:55:59 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2017-11-13 17:56:42 +0100 |
| commit | 373d7b29b3ca61edbf6bc8d1fa52ed2d069abe6e (patch) | |
| tree | a0538be0f0dbeab0439b40a92cdc5b606d70d630 /API/API.mli | |
| parent | 8d176db01baf9fb4a5e07decb9500ef4a8717e93 (diff) | |
coq_makefile: document COQ_SRC_SUBDIRS
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions