diff options
| author | Hugo Herbelin | 2014-10-21 22:09:35 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-10-22 11:04:30 +0200 |
| commit | c25ff7718d77e4aba0827c4d45a507ed49db72e0 (patch) | |
| tree | 4c4f05548fa696fe97343506802782049ee81bac /kernel/nativecode.ml | |
| parent | 04a7118e26ed3bb3b98ed68a394f7eaed2a0cb81 (diff) | |
Fixing what really looks like a bug in the initial implementation of
coqdoc links for modules (#3756).
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions