move all those toList calls inside _in-domain-of_
[~helmut/bidiragda.git] / .gitignore
1 *.agdai
2 *~