fixed hazelnut checkbox management
authorJordan Augé <jordan.auge@lip6.fr>
Wed, 10 Jul 2013 14:01:54 +0000 (16:01 +0200)
committerJordan Augé <jordan.auge@lip6.fr>
Wed, 10 Jul 2013 14:01:54 +0000 (16:01 +0200)

No differences found