about summary refs log tree commit diff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-09-17T15·07+0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-09-17T15·07+0200
commit5a05cf4063fc6ea666f3e24c60bd2e9e5526ef4e (patch)
tree6fd1fa6286e9b7c29d713ec125d38dd27944f8f8 /.gitignore
parent6e5b02bee4c117863f11e4697da9e4f55b81e52d (diff)
Add Make flag to disable optimization
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions