体验新版 GitCode,发现更多精彩内容 >>
* docs/formatdomain.html.in: Use dev, not def. Reported by Alexander Biryukov.