diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ # simple sortcut to push all git changes push: + git checkout devel git pull git add --all -git commit -a -s |
![]() |
index : go.wit.com/gui.git | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |