installation: reduce time when the install directry is unavailable
[brisk.git] / .gitignore
1 TAGS