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. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
