]> matita.cs.unibo.it Git - helm.git/commit
#include <cassert> patch
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 Jun 2003 15:27:46 +0000 (15:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 19 Jun 2003 15:27:46 +0000 (15:27 +0000)
commit3c4da11f870a6cf69860dbbbf22324733c3ccf44
treef4c1f9a121e34af5ba05a71c0cb06f9691c321e3
parentc0e49a683217651426ab1cadbbf3df6a6f56f03c
#include <cassert> patch
helm/DEVEL/gdome_xslt/C++/gdome_xslt/GdomeSmartDOMXSLTStylesheet.cc