Tuesday, 18.12. maintenance from 8.30 - 8.45

Commit 3895e194 authored by Mohcine Chraibi's avatar Mohcine Chraibi

Merge branch '80-use-boost-directory-functionality' into 'develop'

Resolve "Use Boost Directory Functionality"

Closes #80

See merge request !10
parents 84e487ca fc944d5c
Pipeline #14473 passed with stages
in 23 seconds