Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSeditor
Repository
jpseditor
forms
mainwindow.ui
Find file
Blame
History
Permalink
#120
Keystrok for Walls ist wrong
· d00a7826
Tao Zhong
authored
Feb 20, 2019
Fix shortcuts
d00a7826