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)
Also, tweaked some of the output and man pages.


No differences found