Diff patch file export

Created by: ferryosw

I'm looking for a Export function on the commits page for diff files. Export commit as commitid.patch file.