diff options
| author | Enrico Tassi | 2017-08-29 14:07:16 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2017-08-29 19:27:21 +0200 |
| commit | ba64f7c64ad3da70d4c939b33384099ad8df7124 (patch) | |
| tree | 700f165a9ca82d92b3424a58ce26cf7db87f6d1d /dev | |
| parent | a93279fb7fe5917ab859e7b3dfb6f89522161419 (diff) | |
coq_makefile: improve documentation
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions