Commit 3a30c810 authored by François Perrad's avatar François Perrad
Browse files

https

parent e80b5548
Pipeline #425185 passed with stages
in 13 seconds
......@@ -51,7 +51,7 @@ make install
## Test
The test suite requires the module
[lua-TestMore](http://fperrad.frama.io/lua-TestMore/).
[lua-TestMore](https://fperrad.frama.io/lua-TestMore/).
make test
......
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