Age | Commit message (Expand) | Author |
---|---|---|
2020-06-12 | Merge pull request #2858 from uklotzde/pre-commit | Daniel Schürmann |
2020-06-11 | Fix unused named arguments in Python generators | Uwe Klotz |
2020-06-11 | replace invalid characters from Git diff | Daniel Schürmann |
2020-06-10 | Fix line-length tool not coercing to string correctly | Owen Williams |
2020-05-12 | Update paths in source files | Jan Holthuis |
2020-05-11 | tools: Remove legacy scripts and git hooks | Jan Holthuis |
2020-05-11 | Rename scripts/ directory to tools/ | Jan Holthuis |