aboutsummaryrefslogtreecommitdiff
path: root/plugins/syntax
diff options
context:
space:
mode:
authorEnrico Tassi2016-09-06 19:12:18 +0200
committerEnrico Tassi2016-09-07 11:03:07 +0200
commit1f358573df98358237b9af2a3ff48c99d8be0686 (patch)
treeb19ed082f5c1b3c9ea570196bcea153f332dc7b3 /plugins/syntax
parent6e847be2a6846ab11996d2774b6bc507a342a626 (diff)
ltacprof: rec-calls are coaleshed
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions