improved os check to work for RH Linux 9
1 file changed
tree: a40dd64a2accf4446fd1b5e37f0b3508ea6878f1
  1. source/
  2. website/