deprecate sshfpr; add sshfprs-for-userid (closes: MS #1436)
[monkeysphere.git] / .gitignore
1 *~
2 *.[ao]
3 repo/db
4 repo/dists
5 repo/pool