Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
atl
/
ffbee9bc5df1bc4cbbddd99612d8516755ebf083
/
.
/
download
/
index.php
blob: 306b32113e09d58b67957c42b1eb0ce7bd73accf [
file
] [
log
] [
blame
]
<?
php
$pageTitle
=
"ATL - Download"
;
$html
=
file_get_contents
(
'_index.html'
);
# Generate the web page
$App
->
generatePage
(
$theme
,
$Menu
,
$Nav
,
$pageAuthor
,
$pageKeywords
,
$pageTitle
,
$html
);
?>