renggli/builder — pull request #19 by marschall (2013-12-19 11:45:53+00:00)
Title: Remove HTML5 Packages from 3.1

In Seaside 3.1 the HTML5 support has been merged into the
HTML support.