diff options
| author | Pierre-Marie Pédrot | 2018-03-13 17:13:48 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-13 17:13:48 +0100 |
| commit | 797cd88b4ea91780fca394a12044f9613ed63fc6 (patch) | |
| tree | 4007d544304358c9d99f85d797fd3da997beaf85 /dev/include | |
| parent | 7f0a281f3b15d76213475316b7d18d8c37fc6f96 (diff) | |
| parent | 7dbf6dbd73f3a828bbb58458191912f895cf7779 (diff) | |
Merge pull request coq/ltac2#49 from Armael/fix-typo
Fix a typo
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions