COMP: regionProperties class duplicated.
treef7fcf70349eeee20d6e972aaed38be2afb2dc494
-rw-r--r-- 1236 .gitignore
-rwxr-xr-x 721 Allwmake
-rw-r--r-- 35627 COPYING
-rw-r--r-- 5820 README.html
-rw-r--r-- 1724 README.org
-rw-r--r-- 1871 ReleaseNotes-1.7.1
drwxr-xr-x - applications
drwxr-xr-x - bin
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - src
drwxr-xr-x - tutorials
drwxr-xr-x - wmake