- Added Docs/Manual_style_guidelines.txt on Paul's request - this document
is supposed to become the central repository for documentation guidelines - re-fixed wording in configure.in according to Manual style guidelines (thanks to Paul for the hint)
Showing
Please register or sign in to comment