Release 1.3.1.
tree8b5444f89240610c5e1309ada453a3378e33611e
-rw-r--r-- 30277 comparison.html
-rw-r--r-- 9326 favicon.ico
-rw-r--r-- 16653 index.html
-rw-r--r-- 2658 logo.png
-rw-r--r-- 1697 mantis_notes.txt
-rw-r--r-- 1573 pngfix.js
-rw-r--r-- 420 quote-left.png
-rw-r--r-- 417 quote-right.png
-rw-r--r-- 2469 release.txt
drwxr-xr-x - releases
-rw-r--r-- 3246 style.css
-rw-r--r-- 2911 toc-gen.js