Skip to content

Commit

Permalink
Remove etc/README.tools
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Jun 3, 2017
1 parent 707918d commit 74a1680
Showing 1 changed file with 0 additions and 42 deletions.
42 changes: 0 additions & 42 deletions etc/README.tools

This file was deleted.

0 comments on commit 74a1680

Please sign in to comment.