diff options
| author | Anders Svensson <[email protected]> | 2012-08-26 22:14:47 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2012-08-26 23:13:29 +0200 |
| commit | ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872 (patch) | |
| tree | e78a938bef2c45ced91d5cdb139a0ff95c5ffbfc /lib/diameter/src/.gitignore | |
| parent | 872db12d02ee0d9954ca52cad3fe2dcc2344fb21 (diff) | |
| download | otp-ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872.tar.gz otp-ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872.tar.bz2 otp-ce2b8dfdfdf2cd67884a59a44bbd834bc7c4d872.zip | |
Add plt/dialyze targets to src/Makefile
Diffstat (limited to 'lib/diameter/src/.gitignore')
| -rw-r--r-- | lib/diameter/src/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/diameter/src/.gitignore b/lib/diameter/src/.gitignore index feeb378fd8..cc06720fd1 100644 --- a/lib/diameter/src/.gitignore +++ b/lib/diameter/src/.gitignore @@ -1,2 +1,3 @@ /depend.mk +/otp.plt |