jSMTLIB / Tickets / #2 Document release process

#2 Document release process

Milestone: 1.0

Status: open

Owner: nobody

Labels: None

Updated: 2014-03-23

Created: 2014-03-23

Creator: David Cok

Private: No

Document running tests, building releases, pushing releases

Discussion

Log in to post a comment.