diff options
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index b9a2ecd5827d..14df6753f249 100644 --- a/.gitignore +++ b/.gitignore @@ -25,6 +25,8 @@ /*/unxaig??.pro /*/unxios? /*/unxios?.pro +/*/unxand? +/*/unxand?.pro /solver/* # autoconf generated stuff |