2 Commits

Author SHA1 Message Date
28fc41da65 Merge branch 'master' of ssh://vamos.informatik.uni-erlangen.de:29418/fail
Change-Id: I35e86d4b367be395121451a86f2731606f43eeff
2013-03-22 16:51:29 +01:00
f8c974440f CMake: Preconfigured Fail* variants.
Change-Id: I6109fac10b46becab7a5b3afdfa74af155c881d4
2013-03-22 16:10:39 +01:00