git pull + src/sharefiles.mk



-----Leo Butler <l_butler at users.sourceforge.net> wrote: -----

> The corresponding git command is  git --no-pager checkout -- <files>  where <files> is the list
>of files to be reverted.  

Leo,

Thanks, that worked. But just now the weather turned nice, so I'm going to goof off 
outside for the rest of Saturday :)

--Barton