Skip to content
Commit 11610286 authored by garciadav's avatar garciadav
Browse files

Fix bug 1533: Update config for nscharm


(cherry picked from commit 4c5a1382)
parent 8be53846
Loading
Loading
Loading
Loading