Github-Pages Redirections — Case Insensitivity

Sun, 8 Nov 2020 13:00:42 -0400

Quick-hack: bringing some case-insensitivity to
https://tqtezos.github.io/TZComet/