diff options
| author | Peter Eisentraut | 2015-06-14 01:41:34 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2015-06-14 01:41:34 +0000 |
| commit | 340c74dfdfb91d521fbdb20e5601973266da3428 (patch) | |
| tree | daaa557add92757e6930466a20cc9cfcc673224c | |
| parent | 74cb688525e347121978a502368c76cd6af1bdd6 (diff) | |
Remove stray character
| -rw-r--r-- | doc/src/sgml/release-9.5.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/release-9.5.sgml b/doc/src/sgml/release-9.5.sgml index f5c53374480..a46d2f680a1 100644 --- a/doc/src/sgml/release-9.5.sgml +++ b/doc/src/sgml/release-9.5.sgml @@ -1,4 +1,4 @@ -/<!-- doc/src/sgml/release-9.5.sgml --> +<!-- doc/src/sgml/release-9.5.sgml --> <!-- See header comment in release.sgml about typical markup --> <sect1 id="release-9-5"> |