Patch links to close #160

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

51 stars 30 forks source link

Patch links to close #160 #183

Closed yanntm closed 3 years ago

yanntm commented 4 years ago

I just put full addresses for the pages, instead of relative ones. Hopefully this does not mess with the web page generation, as it uses a lot of Gem/Ruby stuff I'm not an expert on.