Re: [PATCH] Addition of JetBrains project directory to .gitignore

Got it, and that makes sense. I hereby withdraw this patch. ;) - David > On Dec 3, 2019, at 10:08, Tom Lane wrote: > > Daniel Gustafsson writes: >>>> On 3 Dec 2019, at 15:47, David Nedrow wrote: >>> This patch simply adds “.idea/“ to the list

[PATCH] Addition of JetBrains project directory to .gitignore

. David Nedrow dned...@me.com gitignore-JetBrains-v1.patch Description: Binary data