aboutsummaryrefslogtreecommitdiff
path: root/book/theme
diff options
context:
space:
mode:
authorBlaž Hrastnik2021-11-06 09:04:04 +0000
committerBlaž Hrastnik2021-11-06 09:58:58 +0000
commit0f4cd73000140cd9872f291ddb1473f96cbc7364 (patch)
tree3b69b8db8c7c4106f0ccfcaee272d0fe237224b6 /book/theme
parentf659e1178a20cfaa151eaf62af3135a233272151 (diff)
Simplify goto_*_diagnostic commands
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions