diff options
author | Björn Gustavsson <[email protected]> | 2010-10-29 14:44:35 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2010-10-29 14:44:35 +0200 |
commit | 76378bb4a1a89d08b41d6f3df0edc6c26160bef7 (patch) | |
tree | a2a7536973fe1b23c129bd5c24a47334da2311cb /plt/.gitignore | |
parent | c14970e178a7cef8dcb214653f9fc9b6c741ce10 (diff) | |
parent | e041319e4a4c451c5ec090d2ea64f545aeaadb78 (diff) | |
download | otp-76378bb4a1a89d08b41d6f3df0edc6c26160bef7.tar.gz otp-76378bb4a1a89d08b41d6f3df0edc6c26160bef7.tar.bz2 otp-76378bb4a1a89d08b41d6f3df0edc6c26160bef7.zip |
Merge branch 'ks/bad-export_type' into dev
* ks/bad-export_type:
Avoid errors for a badly formed export_type declarations
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions