# HG changeset patch
# User casties
# Date 1426676980 -3600
# Node ID 7626731d1abe51b94f1cee28bad21dc56c11beaa
# Parent 572fcceebde8d52b87a93fdaae8f2e4e7248a688
add pubman ids to project xml dump.
diff -r 572fcceebde8 -r 7626731d1abe zpt/project/project_index_xml.zpt
--- a/zpt/project/project_index_xml.zpt Thu Mar 05 19:33:31 2015 +0100
+++ b/zpt/project/project_index_xml.zpt Wed Mar 18 12:09:40 2015 +0100
@@ -34,7 +34,8 @@
tal:content="publication/text|nothing"/>
-
+