ADAP 2013-01-09
ADAP Design by Contract
Merge branch 'master' of github.com:crocomo/wahlzeit into contract
Merge branch 'contract' of github.com:crocomo/wahlzeit into contract