TaskStats: remove unused attribute "Time"
commitfd6b79873fc57224a8b0a97590b37be762efb3d9
authorMax Kellermann <max@duempel.org>
Sat, 13 Apr 2013 19:04:05 +0000 (13 21:04 +0200)
committerMax Kellermann <max@duempel.org>
Sat, 13 Apr 2013 19:04:05 +0000 (13 21:04 +0200)
treeee667dfa0447ba03898298e7f4da0ec85bbb44d7
parent5a8cc42e7961766f8a1889ec929989f43c3b907a
TaskStats: remove unused attribute "Time"

It is not clear why this attribute is useful.
src/Engine/Task/AbstractTask.cpp
src/Engine/Task/Stats/TaskStats.cpp
src/Engine/Task/Stats/TaskStats.hpp
test/src/TaskPrinting.cpp