log

age author description
Fri, 19 Jun 2015 10:47:02 -0700 Pierre-Yves David merge with stable
Fri, 19 Jun 2015 10:44:25 -0700 Pierre-Yves David evolve: add a hint about how to abort an evolve with conflict stable
Fri, 19 Jun 2015 00:17:34 -0700 Pierre-Yves David merge with branch closing commit stable