Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | treewide: Remove "this file is part of" lines | Patrick Georgi | 2020-05-11 | 1 | -1/+0 |
* | treewide: more SPDX header work | Patrick Georgi | 2020-05-09 | 1 | -11/+1 |
* | gnat.adc: Do not generate assertion code for Refined_Post | Nico Huber | 2016-10-29 | 1 | -1/+2 |
* | Make Ada a first class citizen | Nico Huber | 2016-09-19 | 1 | -0/+40 |