|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
|
|
<html>
|
|
<head>
|
|
<title>REDIRECT!</title>
|
|
<meta http-equiv="REFRESH" content="0;url=./doxygen/index.html"></HEAD>
|
|
<BODY>
|
|
This is a redirect to <a href="./doxygen/index.html">the doxygen stuff.</a>
|
|
</BODY>
|
|
</HTML>
|