chiark / gitweb /
Replace deprecated `mdwopt' flag name with new version.