diff options
| author | Hugo Herbelin | 2016-11-11 11:20:38 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-11-11 11:31:30 +0100 |
| commit | 7e992fa784ee6fa48af8a2e461385c094985587d (patch) | |
| tree | 3109d0608339cb49f24b96ff282709d8c4dab1a7 /doc | |
| parent | dd47fcfc08c43288a49797cc72829da3f9642094 (diff) | |
Coqide: fixing default local links for refman and stdlib.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions