diff options
| author | Andreas Grois <andreas.grois@jku.at> | 2015-11-03 17:05:07 +0100 |
|---|---|---|
| committer | Andreas Grois <andreas.grois@jku.at> | 2015-11-03 17:05:07 +0100 |
| commit | 2fbb42870e240bcb1268ddf1a1c7a7d0dd33babd (patch) | |
| tree | cc222254664c0c67cfa017d79a2c17cb00d74763 /.gitignore | |
| parent | cd4d403e39e4abbc87a95105e4ebccf737623338 (diff) | |
| parent | 17c6823830111c8b07c51218b2714c42f23768bb (diff) | |
Merge branch 'master' of github.com:soulsource/LatticeMatch
Made the mistake of using the webinterface to create a remote branch...
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..52540e7 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +CMakeCache.txt +CMakeFiles +Makefile +cmake_install.cmake +install_manifest.txt |