joerg 4de84f4833 Casting 0 to an iterator is not portable. Just use end() in that case.		2013-05-23 15:00:00 +00:00
..
patch-ad
patch-net__scope.cc
patch-pform__disciplines.cc