]> git.tue.mpg.de Git - misma.git/commit
projects / misma.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5dbc9d3) | patch
Switch to https URLs.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 13 May 2024 23:25:20 +0000 (01:25 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 1 Jul 2024 19:54:54 +0000 (21:54 +0200)
commit005f5bef03d7e7ee619cda68127a86118f433162
tree0eb0911b4e656a1377a9ae35cab864631811d7a4tree | snapshot
parent5dbc9d3dec98af3405c71e00583e503b8072073acommit | diff
Switch to https URLs.

It's much safer, they say.
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.