diff options
author | Hans Bolinder <[email protected]> | 2018-08-27 08:55:51 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-08-27 08:55:51 +0200 |
commit | 42c06b793f1555b22e830dc0b59bf77d23daa97f (patch) | |
tree | 3a2cdd1e1ed2057c25b84c86f4facdc96bce3e5a /.gitattributes | |
parent | e24da191701ebd6aa619f9867c9713f696dc95c8 (diff) | |
parent | 744fb9202db5a2eec0ef74835b77725c05e85ab4 (diff) | |
download | otp-42c06b793f1555b22e830dc0b59bf77d23daa97f.tar.gz otp-42c06b793f1555b22e830dc0b59bf77d23daa97f.tar.bz2 otp-42c06b793f1555b22e830dc0b59bf77d23daa97f.zip |
Merge pull request #1863 from gomoripeti/types_int_ops
Document allowed integer ops in types
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions