From: Johannes Schindelin Date: Sat, 07 Jun 2008 15:20:29 GMT Subject: Re: [PATCH] Documentation/fast-export: Document --import-marks and --export-marks options Message-ID: In-Reply-To: <1212845104-79789-1-git-send-email-pdebie@ai.rug.nl> Hi, On Sat, 7 Jun 2008, Pieter de Bie wrote: > This adds a description for git-fast-export's --import-marks and > --export-marks options to its man page. > --- > > I forgot to add the options to the man page. Perhaps this should be > squashed on top of the other patch? Yes, that and the patch to use the existing functions to set/get the marks instead of duplicating code. Ciao, Dscho