4 Commits

Author	SHA1	Message	Date
Michael Schaar	9773df8c15	Realpath for Linux bash-script (#331) ... Bash script execute with real path of the script	2019-09-11 12:27:07 +02:00
hneemann	24541fd2c8	improved the Digital.sh shell script (see #162, see #137)	2018-09-07 09:47:27 +02:00
hneemann	f7bdfb672c	fixed a bug in the test data parser	2018-01-12 09:19:42 +01:00
hneemann	632d8910c6	added shell script to distributed zip	2017-12-14 16:20:37 +01:00