diff options
author | KONRAD Frederic <frederic.konrad@adacore.com> | 2019-05-15 14:31:29 +0200 |
---|---|---|
committer | Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk> | 2019-05-17 09:17:11 +0100 |
commit | 948caec873131584ec343892bb88b6544cd867e4 (patch) | |
tree | e955e804b49d80401b36560c676023bece0708a7 /.gitmodules | |
parent | ea005daec3b15f172d991f705b3526427461e15d (diff) |
grlib, gptimer: get rid of the old-style create function
Suggested-by: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk>
Signed-off-by: KONRAD Frederic <frederic.konrad@adacore.com>
Signed-off-by: Mark Cave-Ayland <mark.cave-ayland@ilande.co.uk>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions