debian/docs
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Sun, 02 Dec 2012 16:21:19 +0100
changeset 624 ce46d1624d4a
parent 531 b18b00036355
child 1103 d1ca81f9e458
permissions -rw-r--r--
more versatile test. push can fails on any divergent changeset I do not care for now.

html