mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Add Travis badge to README
This commit is contained in:
parent
8aa497206c
commit
da04f374f4
Loading…
Reference in New Issue
Block a user