diff options
| author | Théo Zimmermann | 2017-08-21 15:30:48 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-08-21 15:30:48 +0200 |
| commit | af6a390219de9eb1a91ffd9f5ca15a2d2253e978 (patch) | |
| tree | d89089d341e9a8d20224e7f59ac142d3c894b414 /API | |
| parent | 851a01d27f22e708029237db5fe5fd5d4fedcafe (diff) | |
Fix coqdoc URLs under Windows.
URLs on Windows are the same as on Unix, they use / not \.
Diffstat (limited to 'API')
0 files changed, 0 insertions, 0 deletions