diff options
Diffstat (limited to 'src/devtools/.gitignore')
-rw-r--r-- | src/devtools/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/devtools/.gitignore b/src/devtools/.gitignore index d669bbd..b9fef64 100644 --- a/src/devtools/.gitignore +++ b/src/devtools/.gitignore @@ -1,4 +1,5 @@ * +!GNUmakefile !Makefile !.gitignore !*.patch |