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 097fcde..d669bbd 100644 --- a/src/devtools/.gitignore +++ b/src/devtools/.gitignore @@ -1,3 +1,4 @@ * !Makefile !.gitignore +!*.patch |