diff src/process.c @ 73205:eebe063ee090

better not use @LaTeX{}, I guess.
author Karl Berry <karl@gnu.org>
date Sun, 01 Oct 2006 22:52:07 +0000
parents 5f2a73453aa3
children ff880e40efba a1a25ac6c88a
line wrap: on
line diff