diff options
| author | Franck Cuny <franck@fcuny.net> | 2022-07-26 17:45:49 -0700 |
|---|---|---|
| committer | Franck Cuny <franck@fcuny.net> | 2022-08-06 13:01:15 -0700 |
| commit | b42879a95377b4b10f12855d831eb58857b60d2e (patch) | |
| tree | 61676d392a6e536bd0eb44d13a18914c3374badb /tools/git-bootstrap | |
| parent | meta(flake): bump dependencies (diff) | |
| download | world-b42879a95377b4b10f12855d831eb58857b60d2e.tar.gz | |
ref(ci): delete custom scripts for formatting
Since I have configured the pre-commit hooks, I can use them instead of my custom scripts: less things to maintain and easier to read output. Change-Id: Ic833ec88ed9fbcbe52b1b1680f978da3a5a08b31 Reviewed-on: https://cl.fcuny.net/c/world/+/681 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>
Diffstat (limited to 'tools/git-bootstrap')
0 files changed, 0 insertions, 0 deletions