search

project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*
https://www.mitls.org
Other
173 stars 16 forks source link

Update emacs config link in README.md #247

Open ambiso opened 4 years ago

ambiso commented 4 years ago

The link in the README.md was outdated, so I updated it.