various tweaks;
authorjmc <jmc@openbsd.org>
Thu, 22 Feb 2018 13:23:47 +0000 (13:23 +0000)
committerjmc <jmc@openbsd.org>
Thu, 22 Feb 2018 13:23:47 +0000 (13:23 +0000)
commit8977d794df6877575f9500b550791fe494c034fd
tree866d420e7881a176297607ac6bf9ae328db1cf3a
parent9f027091373e2c798c779b116ea167db864aff9a
various tweaks;
share/man/man4/gre.4