tree 6d6b1ce29e21585be56a439691a255c153567696
parent 66fee764ce1a98e0cbcf65a4ec22d4c7cb4f16a0
author Stefan Seelmann <mail@stefan-seelmann.de> 1617659078 +0200
committer Stefan Seelmann <mail@stefan-seelmann.de> 1617659078 +0200

DIRSTUDIO-1267: Fix handling of binary and other options