diff options
| author | Kyösti Mälkki <kyosti.malkki@gmail.com> | 2016-08-15 10:04:21 +0300 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2017-02-06 20:22:01 +0100 |
| commit | 3d3c8c30ead13f641d97e4b526547fe5af71522f (patch) | |
| tree | 825da890d47c56f03ce9cea8cb697905e3b5eb83 /src/lib/hw-time-timer.adb | |
| parent | 8e4aafb531cb0455bf01effec5bbbc16c890cdf8 (diff) | |
devtree: Drop unused parameter show_devs_tree() call
Change-Id: I14c044bb32713ef4133bce8a8238a2bc200c4959
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/18085
Tested-by: build bot (Jenkins)
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'src/lib/hw-time-timer.adb')
0 files changed, 0 insertions, 0 deletions