Merge branch feature-get-record into feature-partial-getlen
[~helmut/bidiragda.git] / .gitignore
1 *.agdai
2 *~