aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-05-03 10:59:29 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-05-03 10:59:29 +0200
commit22852cef6d527cad426736def0339c420ba80982 (patch)
tree775336d98b0515aea5bc2d527d12c0e832513564 /doc/.gitignore
parent740ba10d64ff0b11c6bd364764520537d77dfc9c (diff)
Use VERSION_ID instead of VERSION_STR where appropriate
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions