diff options
| author | Hugo Herbelin | 2020-04-13 16:50:41 +0200 |
|---|---|---|
| committer | Lysxia | 2020-04-20 10:38:29 -0400 |
| commit | 3b5937c66704c2ab4643442dc3296198b33006e5 (patch) | |
| tree | d92855b011dab712d57ea76d3af8be7abfcf3146 /kernel/genOpcodeFiles.ml | |
| parent | 078e6c6d27bc3a13bb9e7ac6c9c5b8e05450af80 (diff) | |
Adding highlighting of the target of a internal link in coqdoc CSS.
Co-Authored-By: Xia Li-yao <Lysxia@users.noreply.github.com>
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions