|
|
c78bccc56d
|
Style and tool updates
|
2023-05-09 12:46:52 -04:00 |
|
|
|
efbb6d6878
|
Move header update script to tools folder
|
2022-03-04 15:52:18 -05:00 |
|
|
|
883ac051ed
|
Simplify file headers
|
2022-03-04 15:50:35 -05:00 |
|
|
|
4948cdbd46
|
Set up a proper formatter for more consistent code style
|
2022-03-03 17:26:09 -05:00 |
|
