diff options
| author | Maxime Dénès | 2017-11-16 16:00:32 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2017-11-16 16:00:32 +0100 |
| commit | 65fed4f6ee54224e0301da42fc0cc4485364f064 (patch) | |
| tree | 741db3ff184ed6ec1f1b3bcdc7d28bc587cf1c4c /API/API.mli | |
| parent | e1afded58ee3162d98f29c97a6e432a5526a731b (diff) | |
| parent | f5c995467f8342e84bd73ac6d6bbd3c3281b2b4e (diff) | |
Merge PR #6104: Fixing encoding in coqdoc output tests.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions