| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-03-01 | drivers/intel/gma: Allow SPARK function with side effects | Nico Huber |
| 2020-05-11 | treewide: Remove "this file is part of" lines | Patrick Georgi |
| 2020-05-09 | treewide: more SPDX header work | Patrick Georgi |
| 2016-10-29 | gnat.adc: Do not generate assertion code for Refined_Post | Nico Huber |
| 2016-09-19 | Make Ada a first class citizen | Nico Huber |
 |
index : coreboot.git | |
| my copy of coreboot | User & |
| summaryrefslogtreecommitdiff |