|
|
05d4fb1ad7
|
Style and tool updates
|
2023-05-09 12:46:52 -04:00 |
|
|
|
b1c4c8cb5e
|
Move header update script to tools folder
|
2022-03-04 15:52:18 -05:00 |
|
|
|
e4fe5bbfec
|
Simplify file headers
|
2022-03-04 15:50:35 -05:00 |
|
|
|
047ee4cb37
|
Set up a proper formatter for more consistent code style
|
2022-03-03 17:26:09 -05:00 |
|
