links to manpages from github

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

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

52 stars 30 forks source link

Closed jacopol closed 3 years ago

jacopol commented 6 years ago

The links from the main github page to the LTSmin manpages don't work.

yanntm commented 4 years ago

ok that was not too hard to correct. Should be fixed in this PR.