Replaced listings in <pre> tags with <ul><li> ... stuff which is better digestable by browsers and fixes bug #223, and removed empty link to…
Show more
Replaced listings in <pre> tags with <ul><li> ... stuff which is better digestable by browsers and fixes bug #223, and removed empty link to old release notes
Show less
