diff etc/PROBLEMS @ 75670:098e6a6c51ca

(AUCTeX): Update version number. Should probably be done for other packages as well.
author David Kastrup <dak@gnu.org>
date Sun, 04 Feb 2007 17:45:34 +0000
parents 34fa35e88871
children dc23aaa67696 f83d17e1ace6
line wrap: on
line diff