| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Incremental compilation (IC): Improvements (#11881) | Andreas Rumpf | 2019-08-08 | 1 | -1/+1 |
| * | fixes leftover from #9647 : use nimf as standardized extension for source cod... | Timothee Cour | 2019-01-14 | 1 | -1/+1 |
| * | Testament fixes (#10034) | alaviss | 2018-12-18 | 1 | -3/+4 |
| * | Testament pre parallel (#9137) | Jacek Sieka | 2018-10-12 | 1 | -0/+148 |