chiark / gitweb /
Added option to copy profile settings to clipboard and reading settings from clipboar...