The source could not be displayed because it is larger than 1 MB.
You can
load it anyway or download it
instead.
-
Chong Yidong authored
(pr-ps-name-custom-set, pr-txt-name-custom-set): Don't update the Printing menu if it's not initialized. (pr-menu-bind): Act on menu-bar-file-menu directly.
b734d8ea