Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
index : coreboot.git | ||
Coreboot firmware sources | coreboot |
summaryrefslogtreecommitdiffstats |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |