# 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"/> - +