diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2019-10-07 15:11:22 -0400 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2019-10-07 17:56:13 -0400 |
commit | 5459ca8a76825da59ff4c1c11d74812d1931da50 (patch) | |
tree | 651863b6ddc83ffa16060d5e49d2681c8b318de8 /html-test/ref/mini_Ticket112.html | |
parent | 63c7e87de4fa94cea9eb1b253054a316d3d75e1c (diff) |
Prefer un-hyperlinked sources to no sources
It is possible to fail to extract an HIE ast. This is however not a
reason to produce _no_ output - we should still make a colorized HTML
page.
Diffstat (limited to 'html-test/ref/mini_Ticket112.html')
0 files changed, 0 insertions, 0 deletions