merge

Docs/manual.texi: Auto merged

merge
Docs/manual.texi: Auto merged
ad259c91 · unknown · b3937784 · 39649090 · ad259c91
Commit ad259c91 authored Sep 28, 2001 by unknown
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Docs/manual.texi Docs/manual.texi +1 -1

No files found.
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
-input texinfo  @c -*-texinfo-*-
+\input texinfo  @c -*-texinfo-*-
 @c Copyright 1997-2001 TcX AB, Detron HB and MySQL Finland AB
 @c
 @c *********************************************************