<html> <head> <meta http-equiv="refresh" content="0; URL=../../doc/html/variant.html"> </head> <body> Automatic redirection failed, please go to <a href="../../doc/html/variant.html">../../doc/html/variant.html</a> </body> </html>
