Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSvis
Issues
#12
JPSvis vs TraVisTo
remove TraVisTo from the help menu in JPSvis.