chiark / gitweb /
dgit: Rename --dgit-view-save to --save-dgit-view, leaving an alias.