Commit 94dec2cd authored by Valentin Reis's avatar Valentin Reis

Merge branch '41-2-names-of-the-nrm-binaries' into 'master'

Resolve "Names of the NRM binaries"

Closes #41

See merge request !83
parents 7f3dd187 c7e2b6fb
Pipeline #7029 failed with stages
in 30 minutes and 10 seconds