diff options
| author | Ben Sima <ben@bsima.me> | 2022-03-30 14:40:02 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2022-03-30 14:40:02 -0400 |
| commit | 1f0160873a04ce48106846dbd627608c3798304b (patch) | |
| tree | 330bf48c4b1452426531fd2f4f74657fa9bb50dd /Biz/Namespace.hs | |
| parent | b0c707e6f1fc03280ab45e34bec199740469e539 (diff) | |
Replace ci with the git pre-push hook
Diffstat (limited to 'Biz/Namespace.hs')
0 files changed, 0 insertions, 0 deletions