aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorMaxime Dénès2018-04-03 17:43:10 +0200
committerMaxime Dénès2018-04-09 09:07:13 +0200
commitc928c773b466369d8029ad8e4cd9022fa164f568 (patch)
tree6130da5b557fb8b6a69b4e41ea10e7ad92a5e030 /dev
parentca7a7ffbf5e0576e2a50052e644c1d067843fddf (diff)
[Sphinx] Make it possible to espace { by %{ in custom grammars
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions