proposed fix for #1147 by checking for known_hosts file
[monkeysphere.git] / .gitignore
1 *~
2 *.[ao]
3 repo/db
4 repo/dists
5 repo/pool