diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-13 14:10:48 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-13 14:10:48 -0300 |
| commit | 813266827378f6e53a092140274c690f45edcf26 (patch) | |
| tree | fe9505174c7c049ff89026ddcfbc971a42e2340f /src/infrastructure/scripts | |
| parent | src/infrastructure/keys/andreh.pub: Remove old file (diff) | |
| download | server-813266827378f6e53a092140274c690f45edcf26.tar.gz server-813266827378f6e53a092140274c690f45edcf26.tar.xz | |
system.scm: Adapt (ssh-file-for ...) function for new SSH key path
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 813266827378f6e53a092140274c690f45edcf26
git notes --ref=refs/notes/ci-data show 813266827378f6e53a092140274c690f45edcf26
Exit status: 0
Duration: 11
Diffstat (limited to 'src/infrastructure/scripts')
0 files changed, 0 insertions, 0 deletions