diff options
author | Péter Gömöri <[email protected]> | 2018-07-02 22:48:35 +0200 |
---|---|---|
committer | Péter Gömöri <[email protected]> | 2018-08-24 10:10:36 +0200 |
commit | 744fb9202db5a2eec0ef74835b77725c05e85ab4 (patch) | |
tree | 6b9908be418f8f948658973cab96aea7b554d1ab /bin/.gitignore | |
parent | d35d59cea514582817f1fc450885d6a060e542c0 (diff) | |
download | otp-744fb9202db5a2eec0ef74835b77725c05e85ab4.tar.gz otp-744fb9202db5a2eec0ef74835b77725c05e85ab4.tar.bz2 otp-744fb9202db5a2eec0ef74835b77725c05e85ab4.zip |
Document allowed integer ops in types
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions