aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-12-16 13:11:44 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-12-16 13:11:44 +0200
commitc6805c44611ea54022d74aee52c3f3d20bf8c655 (patch)
tree24d6f2744ff1e331bb0b7de56a9871d66960cecd /.gitignore
parent28aa22a66653e65be8f1b01d52ffe205d0a43381 (diff)
Don't include cli-generated headers into odb-compiled ones
Life is already complicated enough...
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions