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 revisionPrevious revision
tips:dev [2015/10/30 18:27] eriktips: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.1446229669.txt.gz · Last modified: 2015/10/30 18:27 by erik