summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2018-05-19fstar 0.9.6.0-1Mort Yao
2017-10-24fstar 0.9.5.0-2Mort Yao
2017-09-02fstar 0.9.5.0-1Mort Yao
2017-02-22fstar 0.9.4.0-2Mort Yao
2017-02-08fstar 0.9.4.0-1Mort Yao
2016-09-01fstar 0.9.2.0-2Mort Yao
2016-03-23update .gitignoreMort Yao
2016-03-13add check4u (a tool to check for updates)Mort Yao
2016-03-13fstar 0.9.2.0-1Mort Yao