Make Pane7 Device Manager replacement optional#42

ageographynerd19 wants to merge 1 commit into

get-ntmu:mainget-ntmu/get-ntmu.github.io:mainfrom

ageographynerd19:mainageographynerd19/get-ntmu.github.io:mainCopy head branch name to clipboard