minor fix to download page to display which machine build was from (eclipse.org, or lomboz.org, for now).
2 files changed