From: Robert P. J. Day Date: Mon, 21 May 2018 18:14:56 GMT Subject: Re: which files are "known to git"? Message-ID: In-Reply-To: On Mon, 21 May 2018, Elijah Newren wrote: > > can anyone refresh my memory if that happened here, and whether > > that was the consensus after the discussion was over? > > Perhaps this: https://public-inbox.org/git/EEC5BA1D5F274F02AE20FC269868FDEF@PhilipOakley/ > ? yup, that's it, thanks. rday