aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2019-02-22 08:08:47 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2019-02-22 08:08:47 +0200
commit87c6e3296002d70652d736ef31d8950cb7a0f82c (patch)
treeb7f8405ebb0980530259469c42963834bd28ad3d /doc/.gitignore
parent99919c285435aee962f9de5744af57e12d730043 (diff)
Improve ODB regeneration script
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions