-
Matthias Möller authored
- reinit is not necessary if unary modules changed git-svn-id: http://www.openflipper.org/svnrepo/OpenFlipper/branches/Free@15678 383ad7c9-94d9-4d36-a494-682f7c89f535
e59026b8
- reinit is not necessary if unary modules changed git-svn-id: http://www.openflipper.org/svnrepo/OpenFlipper/branches/Free@15678 383ad7c9-94d9-4d36-a494-682f7c89f535