Skip to content
Snippets Groups Projects
Unverified Commit a48b1e28 authored by xgui3783's avatar xgui3783 Committed by GitHub
Browse files

Merge pull request #14 from FZJ-INM1-BDA/dev_region_menu_disabler

Dev region menu disabler
parents 99f8d7ac 65f473f1
No related branches found
No related tags found
No related merge requests found
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment