john30 d7d667b189 allow definition of port to connect to

2016-09-17 16:20:55 +02:00

..

archlinux

updated md5sum

2016-05-05 11:42:19 +00:00

debian

mode

2016-06-26 16:11:53 +02:00

etc

nicer directory structure

2016-01-06 15:17:57 +01:00

gentoo

aligned options

2016-01-06 15:46:10 +01:00

html

updated to new conditions, started dynamic switching of pipes

2016-03-20 20:04:59 +01:00

scripts

allow definition of port to connect to

2016-09-17 16:20:55 +02:00