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 /configure.in | |
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 'configure.in')
0 files changed, 0 insertions, 0 deletions