summaryrefslogtreecommitdiffhomepage
path: root/tools/workspace_status.sh
AgeCommit message (Expand)Author
2019-04-01Add release hook and version flagAdin Scannell
2018-10-19Use correct company name in copyright headerIan Gudger
2018-05-10Display the current git revision in the info blockChanwit Kaewkasi