• Show log

    Commit

  • Hash : 9297b6e0
    Author : Ben Straub
    Date : 2012-03-31T14:06:53

    Removing test suites that have been ported to Clar:
    
    * t00 / 6e86fb3 (mentioned in #406)
    * t01 / fc60c4a (mentioned in #406)
    * t03 / bcbabe6
    * t04 / PR #606
    * t05 / d96f2c3
    * t06 / 6c106ee
    * t07 / 2ef582b
    * t08 / b482c42
    * t09 / 9a39a36
    * t10 / 00a4893
    * t12 / 7c3a4a7
    * t13 / 1cb9b31
    * t17 / cdaa6ff (mentioned in #406)
    * t18 / efabc08