K 10
svn:author
V 2
mm
K 8
svn:date
V 27
2010-03-24T10:32:18.000000Z
K 7
svn:log
V 223
- Update to 1.3.3
- Add new modules to OPTIONS
- Disable HTML documentation by default (new HTMLDOCS knob in OPTIONS)
- Disable EXAMPLES and move to HTMLDOCS
- Simplify, make portlint more happy
- Fix inter-option requires

END