Skip to content
GitLab
Explore
Sign in
JuPedSim
JPSeditor
Issues
#15
Auto save
Auto-save regularly the actual state of the work. Useful in case of crash.