| commit | 83693c8d7d87f5cebe120abdf25951c9e212b319 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Sat Oct 08 22:17:55 2016 +0200 |
| committer | Nico Huber <nico.h@gmx.de> | Sun Oct 09 11:34:25 2016 +0200 |
| tree | 249eff589087c2ed8deeeeda1710ff49a3c3c810 |
Initial upstream commit The history contained unlicensed code so everything got squashed, sorry. Change-Id: I9f5775208f9df6fb29074bf3bc498f68cb17b3a0 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