5 Commits

Author	SHA1	Message	Date
wfjm	bb8669630b	minor docu updates	2019-02-01 18:43:16 +01:00
wfjm	233730885d	comment&code cosmetics; minor changes	2018-12-08 09:25:25 +01:00
wfjm	74ef4925b4	add and use bailout; add @tcl	2018-12-02 09:39:29 +01:00
Walter F.J. Mueller	5d3fb33866	minor editorial changes on man pages	2017-01-15 16:00:22 +01:00
Walter F.J. Mueller	07f86e59d8	convert .txt to .md; move doc/man to tools/man	2016-12-22 12:03:34 +01:00