| commit | 5e9b1b50e7ac90f68ca2ea798ef656ac863c2851 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Sat Oct 08 22:09:33 2016 +0200 |
| committer | Nico Huber <nico.h@gmx.de> | Sun Oct 09 11:31:44 2016 +0200 |
| tree | 4bdccf08b1b59035632f26a8853c8456e07b8fca |
Initial upstream commit The history contained unlicensed code so everything got squashed, sorry. Change-Id: Ie1335ecfcee7f740bb6de2e9887606be30a2deff Signed-off-by: Nico Huber <nico.huber@secunet.com>
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..69f6818 --- /dev/null +++ b/.gitignore
@@ -0,0 +1,5 @@ +/proof-allconfigs/ +/build/ +/dest/ +/*.gpr +/.config