Docs/manual.texi · 8777bdb46af6afb362728e4b14e4d8a9fae4ea8c · nexedi / MariaDB

Re-merging and fixups of new User Resources section. · 8777bdb4

unknown authored May 17, 2002


Docs/manual.de.texi:
  Copied new section to German manual (to be translated).
Docs/manual.texi:
  Re-merged Monty's additions with Arjen's original fixups.

8777bdb4

manual.texi 2.08 MB

Replace manual.texi