aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorAlbert Magyar2020-02-10 18:46:38 -0700
committerGitHub2020-02-11 01:46:38 +0000
commitc1738a1b30e8e1b52c423e603968ef1c9cb8fca9 (patch)
tree17c47e6bdefaf49a6f67f451b8c87a3f52b88337 /scripts
parent1b475c42ebfeb279c0fba013cadbb00545ecaa8f (diff)
[spec] Change sub(UInt, UInt) output type to UInt (#1378)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions