GsDevKit/Seaside31 — pull request #42 by jbrichau (2014-09-08 19:39:20+00:00)
Title: Dev 3.1.3

Seaside 3.1.3 ready.