blob: 15270a61331405a3869fa7715221e0745d3e1296 [file] [log] [blame]
<?php
header( "Location: /rap/developers-guide/devguide.php?topic=getting-started/setup-ide.html" );
?>