Skip to content
GitLab
Explore
Sign in
Admin message
29. April 2024
: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
vadere
vadere
Repository
vadere
..
outputfile
OutputFile.java
Find file
Blame
History
Permalink
the change of the name of an output file should now work from within the gui
· 81dd0f86
Zoennchen, Benedikt
authored
Oct 11, 2017
81dd0f86