Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase / c38015d052dd686c96504cbf5dd4c3d61fc030a5 / . / .gitignore
blob: 69f68185465c353a639e79ec6583bfa101e9aa9c [file] [log] [blame]
Nico Huber5e9b1b52016-10-08 22:09:33 +0200[diff] [blame]1/proof-allconfigs/
2/build/
3/dest/
4/*.gpr
5/.config