diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-13 07:25:32 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-08-14 14:46:12 -0400 |
| commit | 9c0017144cc59762e9a79d453794f9aa8545a54f (patch) | |
| tree | 479b3f22403eddecca78df0a1706577cfe41fddb /include | |
| parent | e906a17d957e9197c9e41520308baa295b827a54 (diff) | |
git: ignore files generated by the build system
Prevents accidental staging of auto-generated files.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions