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: by erik
