Commit 8bd828be authored by Enrico Zini's avatar Enrico Zini
Browse files

Use the right exception to catch local_settings not existing

parent 05671f24