summaryrefslogtreecommitdiff
path: root/Biz/Ide/push.sh
AgeCommit message (Expand)Author
2024-05-20Fix push.sh, act as $USER instead of rootBen Sima
2024-04-01Rename .bash files to .shBen Sima
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 05:25:33 +0000