diff etc/TUTORIAL.es @ 62887:3d8c6d031cf0

(pr-interactive-n-up): Use string-to-number.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 May 2005 06:50:35 +0000
parents 86f9d80d2dc1
children f05a048483cc 7a3341d65a12
line wrap: on
line diff