Author: glondu-guest Date: Fri Aug 15 23:33:43 2008 New Revision: 5954 URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5954 Log: Remove coq-doc (moved to git)
Removed:
trunk/packages/coq-doc/
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
