diff options
| -rw-r--r-- | MANUAL.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 762fdad59..aeef074dc 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -5665,7 +5665,6 @@ halftitlepage frontmatter seriespage frontmatter foreword frontmatter preface frontmatter -seriespage frontmatter appendix backmatter colophon backmatter bibliography backmatter |