summaryrefslogtreecommitdiffhomepage
path: root/tools/workspace_status.sh
AgeCommit message (Collapse)Author
2018-05-10Display the current git revision in the info blockChanwit Kaewkasi
Change-Id: I9737cc680968033ba82c95bb04cc482fcaa12642 PiperOrigin-RevId: 196192683
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 20:31:22 +0000