chiark / gitweb /
[PATCH] kill the last examples that contained the %D option.