fix CHECK_KEYSERVER for deprecated keys-from-userid as well
[monkeysphere.git] / .gitignore
1 *~
2 *.[ao]
3 repo/db
4 repo/dists
5 repo/pool