Closed kiwistrongis closed 10 years ago
Just a quick little doc to explain how to setup and build smt. Should be done after #80.
Currently in progress: contributing.md
Done as of 2586a5cc011975e18f1b738389b3a174c5d6b7bc
Just a quick little doc to explain how to setup and build smt. Should be done after #80.