diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index eb892d65a7..6ceefc482d 100644 --- a/.gitignore +++ b/.gitignore @@ -131,6 +131,7 @@ build.ninja rules.ninja .ninja_deps .ninja_log +asn1/*/*-stamp # Generated dir # |