[klee-dev] Doxygen documentation link not working

[Marko Dimjašević]

In the Developer's Guide available at:

https://klee.github.io/docs/developers-guide/

there's a link in the Building code documentation section leading to:

http://test.minormatter.com/~ddunbar/klee-doxygen/index.html

When I follow that link, I get a "Server not found" error.


-- 
Regards,
Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160508/14cbe303/attachment.sig>