virgil/commit

Merge branch 'master' of vu:git/ClioPatria/virgil

authorMichiel Hildebrand
Wed Mar 27 11:19:31 2013 +0100
committerMichiel Hildebrand
Wed Mar 27 11:19:31 2013 +0100
commitc20dae57208335625d7006882977b82e1ab8c444
treef8d28ed3fccf65a84d719f022682c9e0232d7161
parenta056b74982be11412706caca898b6128da51913f cf8e9ac2662a68b5905de9da58303fed25a911b7
Diff style: patch stat