diff options
| author | sterni <sternenseemann@systemli.org> | 2023-04-07T12·12+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-04-29T12·55+0000 |
| commit | e897f6a60585245a3841fffb2d831c1667ad2f2b (patch) | |
| tree | a88296c19b720165296ffd61aea061f008dd006f /users/sterni/machines/edwin/http/flipdot.openlab-augsburg.de.nix | |
| parent | 7e6595dbf411423e779ff7a26092ed593ffcd8fc (diff) | |
fix(sterni/machines/edwin): use https for saneterm git upstream r/6120
Upstream server no longer answers to git://. Change-Id: I9c3608222a02f04d1cd77fa15738fa91e0088247 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8533 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'users/sterni/machines/edwin/http/flipdot.openlab-augsburg.de.nix')
0 files changed, 0 insertions, 0 deletions