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