MindFee

A former tool for ContinuousIntegration of the SourceCode of MindBroker. Now superseded by NooMic.