chiark / gitweb /
changedir_git_toplevel: Special error for not in git tree
[dgit.git] / po / .gitignore
2018-09-29 Ian Jacksoni18n: Machinery in po/