Improve Docker and documentation #25

Merged bdonneaux merged 2 commits into DEVops:master from DEVops:devel_bee on 23 Jun 2020
@bdonneaux bdonneaux commented on 23 Jun 2020

No description provided.

@bdonneaux bdonneaux closed this pull request on 23 Jun 2020
@bdonneaux bdonneaux referenced the pull request on 23 Jun 2020

Improve Docker and documentation

@bdonneaux bdonneaux merged commit c9da7e3 into master from devel_bee on 23 Jun 2020
Labels

Priority
No priority
Milestone
No milestone
Assignee
No one
1 participant
@bdonneaux