set version number back to "dev"
tree6c68c803c81b9f67a434196157d51bfd74f33e21
-rw-r--r-- 92 .cvsignore
-rw-r--r-- 965 .gitignore
-rw-r--r-- 385 .hgignore
lrwxrwxrwx 11 COPYING -> licence.txt
-rwxr-xr-x 4874 build.bash
drwxr-xr-x - debian
-rwxr-xr-x 20 engrid
-rw-r--r-- 135 engrid.desktop
-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-- 1282 release_notes.txt
-rwxr-xr-x 1783 run.bash
-rwxr-xr-x 1973 setup_fedora.bash
-rwxr-xr-x 2444 setup_generic.bash
-rwxr-xr-x 2066 setup_opensuse.bash
-rwxr-xr-x 1997 setup_ubuntu.bash
drwxr-xr-x - src
drwxr-xr-x - tutorials
-rwxr-xr-x 1676 update.bash