.gitignore: ignore linux/linux

Ignore directory linux/linux created by workaround from commit
v4.23-11-g15003d4.

* .gitignore: Add /linux/linux.
This commit is contained in:
Zhibin Li 2018-06-28 00:02:37 +08:00 committed by Dmitry V. Levin
parent 15003d43d0
commit fbb176a7ca

1
.gitignore vendored
View File

@ -34,6 +34,7 @@
/libmpers-m32.a
/libmpers-mx32.a
/libstrace.a
/linux/linux
/m32_funcs.h
/m32_printer_decls.h
/m32_printer_defs.h