make_makefiles: In .gitignore, explicitly list files that we know are generated…
make_makefiles: In .gitignore, explicitly list files that we know are generated instead of using wildcards.
Showing
This diff is collapsed.
Click to expand it.
Please
register
or
sign in
to comment