[SCM] Git Repository for packaging Poly/ML (http://www.polyml.org) branch, pristine-tar, updated. b9f4cb04a061ea6840475065956ca468e1b102cf

[Achim D. Brucker]

The following commit has been merged in the pristine-tar branch:
commit b9f4cb04a061ea6840475065956ca468e1b102cf
Author: Achim D. Brucker <brucker at member.fsf.org>
Date:   Tue Dec 29 22:28:28 2009 +0100

    pristine-tar data for polyml_5.3.orig.tar.gz

diff --git a/polyml_5.3.orig.tar.gz.delta b/polyml_5.3.orig.tar.gz.delta
new file mode 100644
index 0000000..80cfe5e
Binary files /dev/null and b/polyml_5.3.orig.tar.gz.delta differ
diff --git a/polyml_5.3.orig.tar.gz.id b/polyml_5.3.orig.tar.gz.id
new file mode 100644
index 0000000..ca29acd
--- /dev/null
+++ b/polyml_5.3.orig.tar.gz.id
@@ -0,0 +1 @@
+8a741b1fb22eb56bb92b5833005ad51147854b39

-- 
Git Repository for packaging Poly/ML (http://www.polyml.org)