diff doc/simple-tuto.t @ 126:c083fb43daee

obsolete: stop using rev as it rebuild the cache every time there is a fault We now use nodemap directly
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Sun, 08 Jan 2012 18:43:49 +0100
parents 8ad5c760c708
children
line wrap: on
line diff