mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-01-30 04:10:54 -08:00
No description
to check MPS copes okay. See .discard. Also: improve comments. Copied from Perforce Change: 166953 ServerID: perforce.ravenbrook.com |
||
|---|---|---|
| mps | ||