diff options
Diffstat (limited to 'Biz/Ide/tips')
-rwxr-xr-x | Biz/Ide/tips | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Biz/Ide/tips b/Biz/Ide/tips index 1b998e6..21808eb 100755 --- a/Biz/Ide/tips +++ b/Biz/Ide/tips @@ -9,4 +9,5 @@ echo " tips show this message" echo " lint auto-lint all changed files" echo " push send a namespace to the cloud" echo " ship lint, bild, and push one (or all) namespace(s)" +echo " tidy cleanup common working files" echo "" |