diff options
| author | Pierre Letouzey | 2014-12-09 09:26:39 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-12-09 12:14:40 +0100 |
| commit | ff76518771d1da2a7d3c1b1cbb8d637d2f4d7bf7 (patch) | |
| tree | b92429a1204eec37bbb22a274895ac32e0b9fc1a /doc/common/styles/html | |
| parent | 08d6ae7520255ab846ed3ea81b48c2ae855f3ddb (diff) | |
refman/coqdoc.tex: fix two erroneous \url
Diffstat (limited to 'doc/common/styles/html')
0 files changed, 0 insertions, 0 deletions