From: Joey Hess Date: Thu, 21 Aug 2008 20:48:49 +0000 (-0400) Subject: Pass additional options to darcs push when pushing. Closes: #495734 X-Git-Url: https://git.madduck.net/code/myrepos.git/commitdiff_plain/38fb354a09c4b3122a639f83fea2d40637e7172f?ds=inline;hp=38fb354a09c4b3122a639f83fea2d40637e7172f Pass additional options to darcs push when pushing. Closes: #495734 ---