diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 14:07:29 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 14:07:29 +0200 |
commit | a59d1bc087a8698a774a46ba0138d009ee40a7ea (patch) | |
tree | eba144f9f09454d207ef0f42ac8360aac36590e8 /test-suite/coq-makefile/coqdoc2 | |
parent | 2040d9d6548c13c59ee0f921ca4089ca20552999 (diff) | |
parent | 0ec228dba23e24465e92f874f7d841a4bcaa3fbb (diff) |
Merge PR #7848: Fix a typo in documentation
Diffstat (limited to 'test-suite/coq-makefile/coqdoc2')
0 files changed, 0 insertions, 0 deletions