diff options
author | Raimo Niskanen <[email protected]> | 2017-01-12 16:33:11 +0100 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2017-01-13 14:56:27 +0100 |
commit | e42fbd3a94e4db36d6a4fd20129a811bf26daf8b (patch) | |
tree | b3197f00fe438c867f928599363424ad572d797e /.gitignore | |
parent | 3473ecd83a7bbe7e0bebb865f25dddb93e3bf10f (diff) | |
download | otp-e42fbd3a94e4db36d6a4fd20129a811bf26daf8b.tar.gz otp-e42fbd3a94e4db36d6a4fd20129a811bf26daf8b.tar.bz2 otp-e42fbd3a94e4db36d6a4fd20129a811bf26daf8b.zip |
Fix enum refinement in usertype in SYNTAX
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions