diff options
| author | Eric Engestrom <[email protected]> | 2018-10-28 13:37:26 +0000 |
|---|---|---|
| committer | Eric Engestrom <[email protected]> | 2019-03-11 10:49:36 +0000 |
| commit | 1ee01d91c7e9bb0922b112c11a374283e2ca454b (patch) | |
| tree | 18f192f0f8e59b5085474f43ea50cddd415586c3 /bin/get-extra-pick-list.sh | |
| parent | 7bb34ecff9833e0b490e90ab04fdaa6342eadc1b (diff) | |
wsi: deduplicate get_current_time() functions between display and x11
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Tapani Pälli <[email protected]>
Diffstat (limited to 'bin/get-extra-pick-list.sh')
0 files changed, 0 insertions, 0 deletions