On Mon, Oct 12, 2009 at 12:27:18PM -0400, Yan Morin wrote: > Propose debian/watch file:
Thanks, Yan ! Fixed in git. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
