+ Ignore gnatprove output

This commit is contained in:
Vovanium 2021-07-15 19:42:09 +03:00
parent 9bc2570d00
commit c4de546006
1 changed files with 3 additions and 0 deletions

3
.gitignore vendored
View File

@ -19,3 +19,6 @@ examples/**/objects/*
# Binder code
b__*.adb
b__*.ads
# Gnatprove output
objects/gnatprove