1<HTML> 2<HEAD> 3 4<style> 5 BODY {background-color: white; font-size: 10pt; font-family: verdana,helvetica} 6</style> 7 8</HEAD> 9<BODY BGCOLOR="#FFFFFF"> 10 11 <H1>Variables used in octopus</H1> 12 <p>(Version: @PACKAGE_VERSION@, Git commit: @GIT_COMMIT@)</p> 13 14<p>Please choose a variable from the menu.</p> 15 16</BODY> 17</HTML> 18