mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Rename files to have correct OS extension
This commit is contained in:
parent
62707426be
commit
54780379cf
Loading…
Reference in New Issue
Block a user