Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
viatra
/
d3916717db035ea0b54b808360d1534db871917c
/
.
/
documentation
/
tutorial.php
blob: 80d310b02aa95fcadf605e7fd9ab88736fd54850 [
file
] [
log
] [
blame
]
<?
php
header
(
'HTTP/1.1 301 Moved Permanently'
);
header
(
'Location: /viatra/documentation/tutorial.html');