chiark / gitweb /
git-debpush: Change comment heading
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 6 Jul 2019 22:32:22 +0000 (23:32 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 7 Jul 2019 10:18:17 +0000 (11:18 +0100)
commitd5bbd5fe5b15f40c1153ab2bc3f469e3a49b1daa
treebb72a20c896c3be38f9e6cc4d348c80674584c5c
parent9b3f761e28e938922d29e7883d6e999de526f4b0
git-debpush: Change comment heading

IMO "Principles of Operation" would be a comprehensive reference
detailing the model and functionality.  I think "Design Principles"
is the conventional name for semi-self-imposed choices/constraints.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Acked-by: Sean Whitton <spwhitton@spwhitton.name>
git-debpush