gitignore: /usr/local

This commit is contained in:
K. Lange 2018-10-12 12:46:52 +09:00
parent ffa655ad9d
commit 07fae13402

1
.gitignore vendored
View File

@ -36,6 +36,7 @@
/base/usr/share/man
/base/usr/share/info/
/base/usr/share/doc/
/base/usr/local
# GMP
/base/usr/include/gmp.h