chiark / gitweb /
dgit: Add a comment about a bug we are about to eliminate.
[dgit.git] / po / .gitignore
2018-09-29 Ian Jacksoni18n: Machinery in po/