Docs/Manual_style_guidelines.txt · d07c126c209abe5ad9fc5a1b8bb7eb786c879631 · nexedi / MariaDB

manual.texi Change note mods, 4.0.[12]. · d07c126c

unknown authored May 02, 2002

Manual_style_guidelines.txt	put back item I lost after manual merge.


Docs/Manual_style_guidelines.txt:
  put back item I lost after manual merge.
Docs/manual.texi:
  Change note mods, 4.0.[12].

d07c126c

Manual_style_guidelines.txt 9.04 KB

Replace Manual_style_guidelines.txt