Merge branch 'release'1.3dev
tree5a83f1519b01cd678175eb2d8dfcd5593881c25e
-rw-r--r-- 92 .cvsignore
-rw-r--r-- 799 .gitignore
-rw-r--r-- 385 .hgignore
lrwxrwxrwx 11 COPYING -> licence.txt
drwxr-xr-x - debian
-rw-r--r-- 22962 fdl-1.3.txt
-rw-r--r-- 35147 gpl.txt
-rw-r--r-- 886 licence.txt
drwxr-xr-x - manual
-rw-r--r-- 1281 release_notes.txt
drwxr-xr-x - src
drwxr-xr-x - tutorials