Improve Docker and documentation #25

Merged bdonneaux merged 2 commits into DEVops:master from DEVops:devel_bee on 23 Jun 2020
2020-06-23
@Benoit Donneaux
Improve Docker and documentation partly for Mac users ...
Benoit Donneaux committed on 23 Jun 2020
@Benoit Donneaux
[#8256] Remove yum cache before adding global repo ...
Benoit Donneaux committed on 23 Jun 2020