tips:dev
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
tips:dev [2015/10/30 18:11] – created erik | tips:dev [2015/10/30 18:27] – erik | ||
---|---|---|---|
Line 2: | Line 2: | ||
* [[.: | * [[.: | ||
* [[.: | * [[.: | ||
- | * [[.:linux:gitrenametag|How to rename a Git tag?]] | + | * [[.:dev:gitpullforce|How to force Git to overwrite local files on pull?]] |
+ | * [[.: | ||
* [[.: | * [[.: | ||
+ | * [[.: | ||
* [[.: | * [[.: |
tips/dev.txt · Last modified: 2015/10/30 18:32 by erik