aboutsummaryrefslogtreecommitdiff
path: root/etc
AgeCommit message (Collapse)AuthorFilesLines
2024-06-24Remove `etc` directory (#500)Abhinav Srivastava / August Radjoe1-6/+0
Remove apply_header target and etc directory, as it is no longer used
2023-06-15Run the pre-commit hook on all filesAlex Richardson1-1/+0
This strips trailing whitespace and fixes line endings. I had to add the *.dump files to the exclude list to avoid excessive changes, but ideally these would not be part of the repository since they can just be generated by running objdump manually.
2021-07-29Use headache to apply copyright header at request of Peter Sewell.Robert Norton1-0/+7