On Tue, Feb 21, 2017 at 10:18:24AM -0600, Eric DeVolder wrote: > This patch adds the two generated files below to .gitignore, > so that 'git status' does not complain about them. This is not a problem. Do you have issues during 'git checkout' or so? If yes then I think it is worth considering. Daniel