diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-04-09 10:11:48 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-09 10:11:48 +0200 |
commit | d28546e681b6436386ab9a1e8907068348a1cff0 (patch) | |
tree | b827beb4b2c2a5e8f99813948abacf88d048e40d /test-suite/coq-makefile/template/path-init.sh | |
parent | d82346e23d36ff8d09a1628c5c592a49ba370bab (diff) | |
parent | 6f23cba6d691e149e62f36b46eb4c58ef6a826c8 (diff) |
Merge PR #7070: Clarify wording in tactics documentation.
Diffstat (limited to 'test-suite/coq-makefile/template/path-init.sh')
0 files changed, 0 insertions, 0 deletions