README.md: http->https for MELPA URL

FStarLang / fstar-mode.el

Emacs support for F*

Apache License 2.0

67 stars 17 forks source link

Closed peey closed 4 years ago

peey commented 4 years ago

The MELPA official website specifies the URL with https: https://melpa.org/#/getting-started

I suspect that using http may lead to some errors when fetching packages.

cpitclaudel commented 4 years ago

Thanks, lgtm. Can you fix the typo in the commit message?

peey commented 4 years ago

Will fix, sorry didn't notice it before.

peey commented 4 years ago

Hope this is alright

cpitclaudel commented 4 years ago

Perfect, thanks a lot!