chiark / gitweb /
Add the --patch option to export