whoops, wrong file

ago%!(EXTRA string=11 years) · add9346eef
parent 05a9cfe036
commit add9346eef
1 changed files with 0 additions and 11 deletions
--- a/docs/git_how.txt
+++ b/docs/git_how.txt
@ -1,11 +0,0 @@
 git checkout working
 -- do work
 git add ...
 git commit
 to upload:
 git checkout master
 git pull ; usually unnecessary
 git merge working
 git push