# List of generated media files. The columns are tab-separated:
# id | media file type | display name | media file path
20	windows	Win32 JRE	/Volumes/data1/seadas/installers/seadas_7.5.1_win32_installer.exe
4713	unix	Linux32	/Volumes/data1/seadas/installers/seadas_7.5.1_linux32_installer.sh
4707	windows	Win64 JRE	/Volumes/data1/seadas/installers/seadas_7.5.1_win64_installer.exe
126	macos	MacOSX	/Volumes/data1/seadas/installers/seadas_7.5.1_macos_installer.dmg
128	unix	Linux64	/Volumes/data1/seadas/installers/seadas_7.5.1_linux64_installer.sh