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