diff options
Diffstat (limited to 'plt')
-rw-r--r-- | plt/.gitignore | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/plt/.gitignore b/plt/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/plt/.gitignore |
index : otp.git | ||
Mirror of Erlang/OTP repository. | OTP Team |
aboutsummaryrefslogtreecommitdiffstats |
-rw-r--r-- | plt/.gitignore | 0 |
diff --git a/plt/.gitignore b/plt/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/plt/.gitignore |