diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-27 09:56:28 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-27 09:56:28 -0300 |
| commit | 313849dce45b69c799c6ece8f6c4bb72a36f7244 (patch) | |
| tree | 020cd13ac0264325181d6c5b5cccf25db7700469 /src/infrastructure/scripts/reconfigure.sh | |
| parent | Makefile: Add "public/dev/ci" as a dependency of "public" (diff) | |
| download | toph-313849dce45b69c799c6ece8f6c4bb72a36f7244.tar.gz toph-313849dce45b69c799c6ece8f6c4bb72a36f7244.tar.xz | |
README.md: Link to this repository, instead of CGit root
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 313849dce45b69c799c6ece8f6c4bb72a36f7244
git notes --ref=refs/notes/ci-data show 313849dce45b69c799c6ece8f6c4bb72a36f7244
Exit status: 0
Duration: 20
Diffstat (limited to 'src/infrastructure/scripts/reconfigure.sh')
0 files changed, 0 insertions, 0 deletions