Adam Chalmers be7605cdef Git pre-push hook to check formatting (#200) ...

Add formatting check to Git pre-push hook

2023-07-27 12:13:51 -05:00

..

pre-push

Git pre-push hook to check formatting (#200)

2023-07-27 12:13:51 -05:00