aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-11-04 08:30:43 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-11-04 09:26:14 +0200
commit685dcfe6329479f1e19313a30409ba9f6e113f7d (patch)
tree6ec0d66938f3bbf33df526f1e778aafb4885a3c8 /doc/.gitignore
parent20d3418dc97b08ac1d3eb2d276dac09943839045 (diff)
Allow customizing names parsing diagnostics
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions