chiark / gitweb /
Fix script for new filenames and fix a bug that made it use only one profile per...