-
unknown authored
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].
2a182f2b
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].