split lemma-union-not-used into lemma-exchange-maps
[~helmut/bidiragda.git] / .gitignore
1 *.agdai
2 *~