On Fri, Sep 18, 2020 at 1:43 AM Sebastian Huber <sebastian.hu...@embedded-brains.de> wrote: > > On 18/09/2020 09:42, Chris Johns wrote: > > > On 18/9/20 2:46 pm, Sebastian Huber wrote: > >> On 17/09/2020 20:55, Gedare Bloom wrote: > >> > >>> ping: decision needed--should we git-ignore .ini everywhere, .ini in > >>> top-level, or just the default config.ini in top-level? > >> I tend to ignore the top-level *.ini files. > > Then maybe git should also do this. It would stop someone accidental adding > > one. > Yes, I am fine with Gedare's patch as it is.
Thanks, pushed. _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
