diff options
author | Dan Gudmundsson <[email protected]> | 2016-11-17 11:37:45 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2016-11-17 11:37:45 +0100 |
commit | 3c2207ed5993eb6e22f6882e70a497f07c707e4b (patch) | |
tree | dc4e07821925ab07cb88cac615ac7f451d83550f /plt/.gitignore | |
parent | cf59b46a88582f3a4c486aff1c2eda6662b88eb2 (diff) | |
download | otp-3c2207ed5993eb6e22f6882e70a497f07c707e4b.tar.gz otp-3c2207ed5993eb6e22f6882e70a497f07c707e4b.tar.bz2 otp-3c2207ed5993eb6e22f6882e70a497f07c707e4b.zip |
Fixup of specs in rand
Fixed bad specs introduced in commit ff568b5e818.
Also suppress improper_lists warnings.
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions