Hi,
In data martedì 30 giugno 2015 08:46:27, Pino Toscano ha scritto:
while working on the previous patches, I noticed a number of
generated
files are not part of .gitignore, so git shows them in the status
output.
Attached there is a patch for it to ignore most of them.
Thanks Mark and Josh for the feedback provided!
Attached there is a new version of the patch, which also anchors some of
the existing filenames to their locations.
Thanks,
--
Pino Toscano