Rename (and invert) *pp-really-pretty?* to *pp-save-vertical-space?*
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 16 Aug 1991 18:46:42 +0000 (18:46 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Fri, 16 Aug 1991 18:46:42 +0000 (18:46 +0000)
commit949a30f0bd59e3b23f4fa90d559fd17042eb42ee
tree1a2e3edf56c4d6ba1655adb709a32ff0296bdf90
parent86e7523658bbe91851280a84293785eb825a2387
Rename (and invert) *pp-really-pretty?* to *pp-save-vertical-space?*
v7/src/runtime/runtime.pkg
v8/src/runtime/runtime.pkg