aboutsummaryrefslogtreecommitdiff
path: root/twelf
diff options
context:
space:
mode:
authorClément Pit-Claudel2021-03-17 01:10:42 -0400
committerClément Pit-Claudel2021-03-17 01:10:42 -0400
commit56ee4ebc97e77da7d61eaa7b00580bf4ef5b87d9 (patch)
treeed25b120e84450335e95231c2ef58f1a6e7193d7 /twelf
parent8ad13c2735c097238441244123214967be3894a0 (diff)
Remove evaluate-elisp-comment-regexp and set-elisp-variable-regexp
Closes GH-557.
Diffstat (limited to 'twelf')
0 files changed, 0 insertions, 0 deletions