Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
sprotty
/
refs/heads/master
/
.
/
index.php
blob: 9c6c1aec4333702b8a7d3a54b74676f0fbe1b9b5 [
file
] [
log
] [
blame
]
<?
php header
(
'Location: http://eclipse.org/projects/project.php?id=ecd.sprotty'
);
?>
