Commit 48fa0495 authored by ale's avatar ale

Merge branch 'distrib' into 'master'

Distrib

Closes #9

See merge request !6
parents b790a71a a428be94
Pipeline #4384 passed with stages
in 4 minutes and 46 seconds