diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-15 21:27:13 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-15 21:27:13 -0300 |
| commit | 7d777dc298cc15f6068b1f4d3e48a4dc81e4e613 (patch) | |
| tree | 32e691a7053771e25de9f2806aef1a98ff6d6b19 /.gitignore | |
| parent | TODOs.md: Add #td-fe8a0345-543a-057b-5aef-b2df389a0f5e (diff) | |
| download | toph-7d777dc298cc15f6068b1f4d3e48a4dc81e4e613.tar.gz toph-7d777dc298cc15f6068b1f4d3e48a4dc81e4e613.tar.xz | |
src/infrastructure/scripts/r.sh: Remove unused script
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 7d777dc298cc15f6068b1f4d3e48a4dc81e4e613
git notes --ref=refs/notes/ci-data show 7d777dc298cc15f6068b1f4d3e48a4dc81e4e613
Exit status: 0
Duration: 27
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions