diff LICENSE @ 10527:2b95d5b1958b

change to GC verification during gate: run in product, add after-GC verification
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 25 Jun 2013 10:22:02 +0200
parents cdef89d821bd
children
line wrap: on
line diff