## PSU (*LOCAL* -- Penn State University, USA)
# Contact: Dave Barr (barr@math.psu.edu)
# For local use only, contact the above address for information.
# For internal use only by the Penn State University in the USA.  Contact
# <barr@math.psu.edu> (Dave Barr) for more information.
newgroup:*:psu.*:mail
rmgroup:*:psu.*:doit