The SSH host key has changed on 8 April, 2022 to this one: SHA256:573uTBSeh74kvOo0HJXi5ijdzRm8me27suzNEDlGyrQ

3 Commits (4c677c36795ad62f94be435b0777a8407ea22fc0)

Author SHA1 Message Date
Gergely Polonkai 57b63b0612 Install auto-package-update 6 years ago
Gergely Polonkai 3cc7226461 Install the auto-highlight-symbol package 6 years ago
Gergely Polonkai a717e9ace1 Move customize stuff to a separate file 6 years ago