Don't switch again if you're already current page
Description
Description
Details
Details
- Committed
leinir Feb 9 2017, 6:10 PM - Parents
- R8:aa8c34b6fe96: Actually make the git functionality work (commit, push, pull, merge, log)
- Branches
- Unknown
- Tags
leinir | Feb 9 2017, 6:10 PM |