Alois Mahdal 4f5369eb40 Fix accidental split of dist making command il y a 10 ans
..
mk.sh Fix accidental split of dist making command il y a 10 ans