aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-08-15 11:53:26 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2016-08-15 11:53:26 +0200
commit398a211a3dc166ef72bcda5917c94533d2c7e3e4 (patch)
treef1d356bfb2cba3c47d463388f2be51151873c357 /doc/.gitignore
parent1a8a287a4f6cc441240dd2e58d243a03c341eea3 (diff)
Add missing header to buildfile
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions