diff options
author | Micael Karlberg <[email protected]> | 2011-11-23 16:54:23 +0100 |
---|---|---|
committer | Micael Karlberg <[email protected]> | 2011-11-23 16:54:23 +0100 |
commit | 20733e3fd8b7ca6ec37585e17a88a8c9cf0d4410 (patch) | |
tree | 6dcf3b59dc4fdbf65e76f0f535bfcf5d2cf1c48e /lib/inets/priv/plt/.gitignore | |
parent | 9e7449804168f701109a5fd6b2ebe6b43ecece44 (diff) | |
download | otp-20733e3fd8b7ca6ec37585e17a88a8c9cf0d4410.tar.gz otp-20733e3fd8b7ca6ec37585e17a88a8c9cf0d4410.tar.bz2 otp-20733e3fd8b7ca6ec37585e17a88a8c9cf0d4410.zip |
Added priv subdir (inets/priv/plt) as plt destination.
Diffstat (limited to 'lib/inets/priv/plt/.gitignore')
-rw-r--r-- | lib/inets/priv/plt/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/inets/priv/plt/.gitignore b/lib/inets/priv/plt/.gitignore new file mode 100644 index 0000000000..2051b52d48 --- /dev/null +++ b/lib/inets/priv/plt/.gitignore @@ -0,0 +1,2 @@ +/*.plt +/*.dialyzer_analysis |