On Sun, 2012-11-11 at 08:46 +0100, marco atzeri wrote: > File list: > setup.hint > TeXmacs-1.0.7.16-2-src.tar.bz2 > TeXmacs-1.0.7.16-2.tar.bz2 > TeXmacs-debuginfo/setup.hint > TeXmacs-debuginfo/TeXmacs-debuginfo-1.0.7.16-2.tar.bz2 > > remove TeXmacs-1.0.7.16-1
Done and done. Yaakov