Merge remote branch 'origin/demonstration'master
tree2458bbfb3f886bdd22d0fcbfa65f06d34a49a2f5
-rw-r--r-- 98 .gitignore
-rw-r--r-- 13451 CMakeLists.txt
-rw-r--r-- 720 CTestConfig.cmake
-rw-r--r-- 557 FindReadline.cmake
-rw-r--r-- 314 README
-rw-r--r-- 45251 UseLATEX.cmake
-rw-r--r-- 82 deska.ini
-rw-r--r-- 5290 deska.spec
-rw-r--r-- 10704 deska_logo.eps
drwxr-xr-x - doc
-rwxr-xr-x 123 git-generate-version.sh
drwxr-xr-x - install
-rw-r--r-- 6632 logo.jpg
-rw-r--r-- 947 pgpython.spec
-rwxr-xr-x 1537 run-deska.sh
-rwxr-xr-x 1200 run-standalone-tests.sh
drwxr-xr-x - scripts
drwxr-xr-x - src
drwxr-xr-x - tests