8000 Committing code: how · acl2/acl2 Wiki · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Committing code: how

Jump to bottom
David L. Rager edited this page Mar 19, 2015 · 2 revisions

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

Clone this wiki locally
0