Changes between Version 17 and Version 18 of Documentation

Timestamp:

Jan 16, 2007 3:34:52 PM (17 years ago)

Author:

jose

Comment:

--

Documentation

@@ -3 +3 @@
 We provide documentation targeting both end-users and developers:
 
- * [wiki:"End-user documentation"]
+ * [wiki:"End-user_documentation"]
 
- * [wiki:"Technical documentation"]
+ * [wiki:"Technical_documentation"]
 
  * [/timeline Source code repository timeline]