Thu, 15 Jun 2017 16:29:51 +0200 | Pierre-Yves David | test: drop now useless config about effect flag | changeset | files |
Wed, 14 Jun 2017 15:59:20 +0200 | Boris Feld | effectflag: activate effect flag by default | changeset | files |
Fri, 02 Jun 2017 19:08:50 +0200 | Boris Feld | effectflag: activate effect flag on test-evolve-obshistory test file | changeset | files |