julian-upc/discrete-geometry — pull request #110 by jan-fiser (2014-12-09 22:36:16+00:00)
Title: Merge pull request #3 from julian-upc/master

actualize 9.12.