]> git.tuebingen.mpg.de Git - gsu.git/tree
Merge branch 't/kill_pointless_subshell'
-rw-r--r-- 1585 common
-rw-r--r-- 1971 config
-rw-r--r-- 3562 gui
-rw-r--r-- 12605 subcommand