On Wed, 22 Jan 2020 13:49:40 -0500 Marcelo Diop-Gonzalez <marcgonzalez@xxxxxxxxxx> wrote: > > > then I'm OK with your approach, but we need to make sure we update > > the .gitignore and clean make target to remove it. > > Ah good point! I'll send out another version if this way's the way to go. Yes, please do. Thanks! -- Steve
![]() |