[SCM] cddlib: library for finding vertices of convex polytopes branch, master, updated. upstream/094g-18-gb06ffab

[Tobias Hansen]

The following commit has been merged in the master branch:
commit 2be170df48616ed83d514e3a0fd0dbeefc81de7e
Author: Tobias Hansen <tobias.han at gmx.de>
Date:   Sun Dec 30 03:27:49 2012 +0100

    Don't install HISTORY.

diff --git a/debian/libcdd-dev.docs b/debian/libcdd-dev.docs
index 8e69186..4b41d60 100644
--- a/debian/libcdd-dev.docs
+++ b/debian/libcdd-dev.docs
@@ -1,2 +1 @@
 doc/cddlibman.pdf
-HISTORY

-- 
cddlib: library for finding vertices of convex polytopes