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