Re: [Flashforth-devel] patch for typos in main web page (index.html)

[D. J. <fla...@et...>]

On Sat, Jul 15, 2017 at 12:54:08PM +0000, D. Joe wrote:
> 
> In the meantime, I have generated this patch from the index.html file I pulled down
> with wget.  I used
> 
>   git format-patch since HEAD~1 
> 
> to create the patch.

Sorry, that was

   git format-patch HEAD~1