log allpaths.py @ 7:1ea915867337

age author description
Sun, 08 Nov 2015 08:45:26 +0100 Marcin Kasperski Standard push options are imported from mercurial, not copied here.
Sun, 08 Nov 2015 08:29:14 +0100 Marcin Kasperski (internal) Changed the way in which extension options are separated: