diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 17:04:44 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-05-31 17:04:44 +0100 |
commit | 013cc5ea30f13c2ea3be8851a34efe7fd6af2eae (patch) | |
tree | 19418a4b57e5c39efb717bf83c94593cde71fb8c /Makefile | |
parent | c1e9b51c128cde4b5359618c28405981d690127e (diff) |
Push replay prevention protocol: Rename "supersedes" to "previously", as not necessarily actually superseded
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions