Skip to content
Commit 91f1597c authored by Ramon Nou's avatar Ramon Nou
Browse files

Merge branch 'rnou/195-remove-boost-interval_map-dependencies' into 'master' 

Resolve "Remove boost interval_map dependencies"

Closes #195

See merge request !122
parents 056c427d c60b9220
Pipeline #2267 passed with stages
in 19 minutes and 53 seconds