debian/docs
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Mon, 04 Feb 2013 17:51:27 +0100
branchstable
changeset 682 6cbb52a8401b
parent 531 b18b00036355
child 1103 d1ca81f9e458
permissions -rw-r--r--
prune: rename --new to --succ This is closer to want the documentation says.

html