tools/gitignore and gitignore: trivial tools-related stuff
Signed-off-by:
Alessandro Rubini <rubini@gnudd.com>
tools/.gitignore
0 → 100644
Please register or sign in to comment
Signed-off-by:
Alessandro Rubini <rubini@gnudd.com>