tips:dev
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
tips:dev [2015/10/30 18:23] – erik | tips:dev [2015/10/30 18:27] – erik | ||
---|---|---|---|
Line 3: | Line 3: | ||
* [[.: | * [[.: | ||
* [[.: | * [[.: | ||
- | * [[.:linux:gitrenametag|How to rename a Git tag?]] | + | * [[.:dev:gitalaises|How to list Git aliases?]] |
* [[.: | * [[.: | ||
+ | * [[.: | ||
* [[.: | * [[.: |
tips/dev.txt · Last modified: 2015/10/30 18:32 by erik