diff options
| author | Péter Gömöri <[email protected]> | 2018-09-25 16:49:22 +0200 |
|---|---|---|
| committer | Péter Gömöri <[email protected]> | 2018-09-25 16:49:22 +0200 |
| commit | 8f7c468bf851dbaba72bb230bae42034de7d2203 (patch) | |
| tree | 911b1cf63b7be46442383a34526862b2d662cad2 /erts/.gitignore | |
| parent | 377f19f25aeec6939a6728bd0c4910086c22ccdc (diff) | |
| download | otp-8f7c468bf851dbaba72bb230bae42034de7d2203.tar.gz otp-8f7c468bf851dbaba72bb230bae42034de7d2203.tar.bz2 otp-8f7c468bf851dbaba72bb230bae42034de7d2203.zip | |
Document bit_size in match-specs and allow in fun2ms
It is already allowed in match-specs.
Diffstat (limited to 'erts/.gitignore')
0 files changed, 0 insertions, 0 deletions