summaryrefslogtreecommitdiff
path: root/src/lib/gnat/i-c.ads
AgeCommit message (Expand)Author
2020-11-16lib/gnat/i-c.ads: Add `uintptr_t` typeAngel Pons
2016-09-19Add minimal GNAT run time system (RTS)Nico Huber