summaryrefslogtreecommitdiff
path: root/cpukit
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2017-12-01 22:37:06 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2017-12-04 14:15:18 +0100
commitfd5471b6b7761a03e87a11808b57dd123ae49e31 (patch)
tree0d268d4fd2db978715987ffd0d5498967deacd18 /cpukit
parent6c2b8a4b35536a5f99ba1ef91139485b011dafc1 (diff)
ada: Check C and POSIX types
Update #3256.
Diffstat (limited to 'cpukit')
0 files changed, 0 insertions, 0 deletions