aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/mini_Ticket112.html
diff options
context:
space:
mode:
authorAlec Theriault <alec.theriault@gmail.com>2019-10-07 15:11:22 -0400
committerAlec Theriault <alec.theriault@gmail.com>2019-10-07 17:56:13 -0400
commit5459ca8a76825da59ff4c1c11d74812d1931da50 (patch)
tree651863b6ddc83ffa16060d5e49d2681c8b318de8 /html-test/ref/mini_Ticket112.html
parent63c7e87de4fa94cea9eb1b253054a316d3d75e1c (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