Add 'remove_userid' function, inverse of 'update_userids'.
authorJameson Graef Rollins <jrollins@phys.columbia.edu>
Fri, 13 Jun 2008 21:47:34 +0000 (17:47 -0400)
committerJameson Graef Rollins <jrollins@phys.columbia.edu>
Fri, 13 Jun 2008 21:47:34 +0000 (17:47 -0400)
commit2ed952e2207d5278cfe96db2d7eeed40709f846b
treef2d1bda40d1cbea47cd82ae7779395f48cacc761
parent6075397cffdceaf72dd3b430c9124c2ebb59ac65
Add 'remove_userid' function, inverse of 'update_userids'.
Also, tweaked some of the output and man pages.
debian/control
man/man1/monkeysphere.1
man/man8/monkeysphere-server.8
src/common
src/monkeysphere
src/monkeysphere-server