[Pkg-ocaml-maint-commits] r945 - packages/advi/branches/split/debian/patches

[Helge Kreutzmann]

Author: kreutzm-guest
Date: 2005-01-31 09:40:53 +0100 (Mon, 31 Jan 2005)
New Revision: 945

Modified:
   packages/advi/branches/split/debian/patches/00list
Log:
Add xanim_to_animate and man_update


Modified: packages/advi/branches/split/debian/patches/00list
===================================================================
--- packages/advi/branches/split/debian/patches/00list	2005-01-31 08:40:19 UTC (rev 944)
+++ packages/advi/branches/split/debian/patches/00list	2005-01-31 08:40:53 UTC (rev 945)
@@ -10,4 +10,6 @@
 no_bubble
 set_test_cache_dir
 doc_build
+xanim_to_animate
+man_update
 #pagemovement