We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
See :doc topic git-quick-start (the exact link may change over time):
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index.html?topic=ACL2____GIT-QUICK-START