We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
E.g. it mentions what <args> can be but leaves out bimm12hi, pred, succ, aqrl, and jimm20.
<args>
bimm12hi
pred
succ
aqrl
jimm20
The text was updated successfully, but these errors were encountered:
is this issue fixed?
Sorry, something went wrong.
The issue is so old and the repo has changed so much since I opened the issue, I'm going to close it.
No branches or pull requests
E.g. it mentions what
<args>
can be but leaves outbimm12hi
,pred
,succ
,aqrl
, andjimm20
.The text was updated successfully, but these errors were encountered: