aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-10-29 15:11:47 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-10-29 15:11:47 +0200
commit235d44e374864005502c3591c5787c115845e1de (patch)
tree3cbca0796ea39d17cb68b751400b22b3b34dd92f /doc/.gitignore
parent381ab3f108b8878c193a5d7dd06a96193daf3f25 (diff)
Fix bug in doc/buildfile
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions