aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-01-25 18:00:18 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-01-25 18:00:18 +0200
commitc312da0b9e205aab0379dc095455b617eaf0e3df (patch)
tree1f58a7c7cf51a45405bd6d8986bff1b174a5eba8 /doc/.gitignore
parent5905fbe8053c5e58e77234dc1f9f81bde6e46b41 (diff)
Fix bug in version comparison introduced by previous commit
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions