This repository was archived by the owner on Nov 14, 2023. It is now read-only.
Enable demo menu also for local access#159
Open
arnuschky wants to merge 1 commit into
Open
Commits
Commits on Nov 22, 2013
- committed
Arne Brutschy