3 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	da1c7d76ac	option cleanup	2018-12-15 20:09:22 +01:00
Matthias Kretschmann	fa6c3b8bb2	document update script	2018-12-15 19:58:02 +01:00
Matthias Kretschmann	a23f2aca69	update script	2018-12-12 22:31:15 +01:00