diff options
author | kh1 <karsten.heimrich@digia.com> | 2014-07-10 12:53:23 +0200 |
---|---|---|
committer | Karsten Heimrich <karsten.heimrich@digia.com> | 2014-07-10 14:40:53 +0200 |
commit | e0b87eb535841954ea5f06efeed5ffeb2f8c49d8 (patch) | |
tree | 9f2c9876335aa406389d918160696b1414a5f2f2 /tools/tools.pro | |
parent | b859b06fe06cbe1ac9edaef0577d5aea3717483e (diff) |
Remove now superfluous tool, replaced by devtool.
Change-Id: I987722065d65704e9df4864df3232911c9d9747a
Reviewed-by: Kai Koehne <kai.koehne@digia.com>
Reviewed-by: Niels Weber <niels.weber@digia.com>
Diffstat (limited to 'tools/tools.pro')
-rw-r--r-- | tools/tools.pro | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/tools.pro b/tools/tools.pro index 34b980f92..551cb8ed6 100644 --- a/tools/tools.pro +++ b/tools/tools.pro @@ -7,7 +7,6 @@ SUBDIRS += \ repogen EXTRASUBDIRS = \ - extractbinarydata \ repocompare \ getrepositorycontent |