Adjust the default session for display manager should it ignore other settings in...
-rw-r--r-- 35147 COPYING
-rw-r--r-- 2659 Makefile
-rw-r--r-- 7 VERSION
drwxr-xr-x - debian
drwxr-xr-x - manpages
drwxr-xr-x - scripts