Mercurial > evolve
graph
-
merge with doc fixSun, 15 Jul 2012 14:51:52 +0200, by Pierre-Yves David
-
evolve: switch the official name for "kill" to prune stableSun, 15 Jul 2012 13:07:54 +0200, by Pierre-Yves David
-
doc: big update of terms and summary of the concept stableSun, 15 Jul 2012 12:49:25 +0200, by Pierre-Yves David