| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | replace / with _ in trId (#15256) | Silvio | 2020-09-02 | 1 | -1/+1 |
| * | Fix style inconsistencies due to the previous commit | narimiran | 2020-07-06 | 1 | -1/+1 |
| * | revert 0944b0f4 | narimiran | 2020-07-06 | 1 | -1/+1 |
| * | miscellaneous bug fixes (#13291) | Timothee Cour | 2020-01-30 | 1 | -1/+1 |
| * | [backport] Fix style issues in lib/, tools/, and testament/. Fixes #12687. (#... | 3n-k1 | 2019-11-28 | 1 | -1/+1 |
| * | 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 |