diff options
Diffstat (limited to 'lib/public_key/.gitignore')
| -rw-r--r-- | lib/public_key/.gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/public_key/.gitignore b/lib/public_key/.gitignore new file mode 100644 index 0000000000..d30fe62c9d --- /dev/null +++ b/lib/public_key/.gitignore @@ -0,0 +1,7 @@ +# public_key + +asn1/*.asn1db +asn1/*.erl +asn1/*.hrl +include/OTP-PUB-KEY.hrl +include/PKCS-FRAME.hrl |