diff options
author | 2016-04-27 16:15:21 +0200 | |
---|---|---|
committer | 2016-04-27 16:15:58 +0200 | |
commit | f4cf022ab567ce7f341ed5ef8c6b33f7d48d6963 (patch) | |
tree | f780fd8c85655517f19581de9e1cc3200c080b70 /TODO.md | |
parent | e96eb8a9d8a0ed76908418190ea02013a4564268 (diff) |
Makefile: cleanup: drop time measurement.
This is now covered by Jenkins for automatic builds, and not
relevant for manual builds.
Change-Id: I539a7311fa9689405acdfcd05773fd5aaa81fbb0
Diffstat (limited to 'TODO.md')
0 files changed, 0 insertions, 0 deletions