diff FTP @ 47367:d8c0258cdf14

2002-09-10 Deepak Goel <deego@glue.umd.edu> * play/doctor.el (doc//): Rename from `//'. Update callers. (doc$): Rename from `$'. Update callers.
author John Paul Wallington <jpw@pobox.com>
date Tue, 10 Sep 2002 05:48:44 +0000
parents 20daeefd7052
children 23a1cea22d13
line wrap: on
line diff