diff man/reftex.texi @ 58216:7f6d41c2adbe

Removed fprintf
author Jan Djärv <jan.h.d@swipnet.se>
date Sun, 14 Nov 2004 10:59:31 +0000
parents 4ac46dccac25
children 6233bef879d8 e24e2e78deda
line wrap: on
line diff