summaryrefslogtreecommitdiff
path: root/plugins/dexbnf
diff options
context:
space:
mode:
authorCyrille Bagard <nocbos@gmail.com>2023-10-22 12:21:44 (GMT)
committerCyrille Bagard <nocbos@gmail.com>2023-10-22 12:21:44 (GMT)
commit98dab5148243637a4f2d19a7c44b0e643a0e0f8c (patch)
treeaa5f22f47e01f5ff7f2e0239cae9949ab6354ac9 /plugins/dexbnf
parentc370bb014b20654a2b7351b2a9d7e1e5a3ce92cc (diff)
Provide the size of a rule without recomputing it.
Diffstat (limited to 'plugins/dexbnf')
0 files changed, 0 insertions, 0 deletions