diff options
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-20 13:37:03 +0100 |
|---|---|---|
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-20 13:37:03 +0100 |
| commit | 5e0677e5f022d5e4fb6869c90adcab407c60e74f (patch) | |
| tree | f65304d85f55ee37c46cc7b1f72f7b4e6b7cd848 | |
| parent | ac2a575234ee8d5fff62cfd5d181ecfab95be497 (diff) | |
Remove stray sentence in config section of manpage.
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | dgit.1 | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index b8601e3..82556d0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -17,6 +17,7 @@ dgit (1.1) unstable; urgency=low * In discussion on how to start using dgit when already using git, do not imply/assume that existing git history will have identical trees to dgit history. + * Remove stray sentence in config section of manpage. -- @@ -600,7 +600,6 @@ Settings likely to be useful for an end user include: Specifies the distro for a suite. dgit keys off the suite name (which appears in changelogs etc.), and uses that to determine the distro which is involved. The config used is thereafter that for the distro. -it then looks .TP .BI dgit.default.distro " distro" The default distro for an unknown suite. |