mitls-fstar icon indicating copy to clipboard operation
mitls-fstar copied to clipboard

Published 20 hours ago • verified publisher icon project-everest

Update emacs config link in README.md

Open ambiso opened this issue 4 years ago • 0 comments

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

ambiso avatar Oct 24 '20 13:10 ambiso