diff etc/CENSORSHIP @ 34139:358adc86d127

(tex-start-shell): Obey shell-file-name. (tex-main-file, tex-file): Simplify. (tex-generate-zap-file-name): Use subst-char-in-string. (tex-strip-dots): Remove.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 02 Dec 2000 21:57:30 +0000
parents e96ffe544684
children 01772baf50a3
line wrap: on
line diff