Commit dbcd708a authored by Pierre Letouzey's avatar Pierre Letouzey
Browse files

fix links

parent eaf4cb5f
......@@ -41,4 +41,4 @@ To be used with Coq 8.8. Just run `make` to compile.
## License
This work is free software, released under the Creative Commons Zero License (CC0). See files <LICENSE> and <COPYING> for more.
This work is free software, released under the Creative Commons Zero License (CC0). See files [LICENSE](LICENSE) and [COPYING](COPYING) for more.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment