tips:dev
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
tips:dev [2015/10/30 18:11] – created erik | tips:dev [2015/10/30 18:32] (current) – 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?]] |
+ | * [[.: | ||
* [[.: | * [[.: | ||
+ | * [[.: | ||
* [[.: | * [[.: | ||
+ | |||
+ | Also look at my [[tips: |
tips/dev.1446228682.txt.gz · Last modified: 2015/10/30 18:11 by erik