Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
remove Makefile.old
it seems not to be in use, and I see no benefit in keeping dead code around.
git has all the old revisions anyway.
  • Loading branch information
moritz committed Feb 7, 2015
1 parent b4d0182 commit 320f22d
Showing 1 changed file with 0 additions and 109 deletions.
109 changes: 0 additions & 109 deletions tools/star/Makefile.old

This file was deleted.

0 comments on commit 320f22d

Please sign in to comment.