debian/source/format
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Tue, 01 Nov 2016 05:42:50 +0100
changeset 1805 7b8195e22050
parent 755 0021301f7fde
permissions -rw-r--r--
extensions: drop the old 'pushexperiment' extension This extensions predate bundle-2 and their have not been any reason to use it for years.

3.0 (quilt)