Age | Commit message (Expand) | Author |
---|---|---|
2019-12-17 | Remove unused scripts from the `misc/scripts` directory | Hugo Locurcio |
2019-09-24 | Fix copyright headers and style issues | Rémi Verschelde |
2019-06-17 | Add script to fix style issues and copyright headers | Rémi Verschelde |