Kevin Heinicke 3d7085ce38 Use current $SHELL for shell-plugin, fix #97		2016-10-24 16:48:56 +02:00
..
clean.py	Add default options	2016-03-03 09:42:50 -05:00
link.py	Fix user expansion in link source	2016-08-17 18:27:47 -07:00
shell.py	Use current $SHELL for shell-plugin, fix #97	2016-10-24 16:48:56 +02:00