TauLabs/TauLabs — pull request #1137 by jan76 (2014-03-10 08:07:57+00:00)
Title: Removed tools entries that are duplicated in tools.mk

These lines are duplicated in tools.mk.