manual.texi Change note mods, 4.0.[12].
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].
Showing
Please register or sign in to comment