Wed, 10 Oct 2012 06:27:06 +0200 | Pierre-Yves David | histedit: simplify computation of edited set (issue3620) | changeset | files |
Thu, 27 Sep 2012 13:59:48 +0200 | Pierre-Yves David | histedit: add obsolete support | changeset | files |
Thu, 11 Oct 2012 08:36:50 +0200 | Pierre-Yves David | histedit: replace various nodes lists with replacement graph (and issue3582) | changeset | files |