search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

hide dropbox button when http is used #15

Closed soonhokong closed 9 years ago

soonhokong commented 9 years ago

We redirect a http connection to https one using javascript:

https://github.com/leanprover/leanprover.github.io/blob/master/js/main.js#L8-L15