User Tools

Site Tools


tips:dev

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
tips:dev [2015/10/30 18:27]
erik
tips:dev [2015/10/30 18:32] (current)
erik
Line 7: Line 7:
    * [[.:​linux:​gitrenametag|How to rename a Git tag?]]    * [[.:​linux:​gitrenametag|How to rename a Git tag?]]
    * [[.:​linux:​rmmissingsvn|Remove missing files with SVN]]    * [[.:​linux:​rmmissingsvn|Remove missing files with SVN]]
 +
 +Also look at my [[tips:​java|Java Tips and Tricks]].
tips/dev.txt · Last modified: 2015/10/30 18:32 by erik