diff options
| author | Gaëtan Gilbert | 2017-11-24 14:25:20 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-11-24 14:27:55 +0100 |
| commit | 9fd736aaefc53943c1d5c81295d80b234469e0eb (patch) | |
| tree | 57582eb1057b1101cd789eb8d5ba2c4051f19abd /API/PROPERTIES | |
| parent | f9b3414888aebd1186f53c46d737536670171ab6 (diff) | |
Fix coq-makefile ocamldoc call when configured with -annotate.
Fixes #6120.
Diffstat (limited to 'API/PROPERTIES')
0 files changed, 0 insertions, 0 deletions