summaryrefslogtreecommitdiff
path: root/ext/search.html
diff options
context:
space:
mode:
authortoasted-nutbread <toasted-nutbread@users.noreply.github.com>2021-06-26 14:10:18 -0400
committerGitHub <noreply@github.com>2021-06-26 14:10:18 -0400
commit435af3a485c5938ca1ff808d456d786735a3ea18 (patch)
tree23fd566c593872093504f3881dc75cff1108efee /ext/search.html
parent845070b8170d6f8e6e9e1dbed8d6da39678cbd81 (diff)
Improve what info is logged when debugging a definition (#1756)
Diffstat (limited to 'ext/search.html')
0 files changed, 0 insertions, 0 deletions