Remove -s binder switch.master
tree14d216ad46918a99e1982c9935d75cdd0d82d127
-rw-r--r-- 207 .gitignore
-rw-r--r-- 17987 COPYING
-rw-r--r-- 8164 Makefile
-rw-r--r-- 135 README
-rw-r--r-- 1640 analyse.sh
drwxr-xr-x - config
-rw-r--r-- 616 diouzhtu.check
drwxr-xr-x - diouzhtu
drwxr-xr-x - diouzhtu2html
drwxr-xr-x - external_libraries
drwxr-xr-x - gwiad_wiki_service
-rw-r--r-- 1849 mk.config
-rw-r--r-- 1923 mk.modules
-rw-r--r-- 3614 shared.gpr