demos.php

<?php

# NOTE: When changing this files' name, also update rap.eclipse.org/rap which
#       redirects to this page.

  header( "Location: /rap/demos/" );

?>