User Tools

Site Tools



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 11:27] eriktips:dev [2015/10/30 11: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 11:32 by erik