Merge remote-tracking branch 'origin/master'

2022-12-02 15:12:08 +01:00 · 2022-12-02 15:12:08 +01:00 · 1219458ef5
commit 1219458ef5
parent a9b87d74cd 9c86f9b32c
1 changed files with 1 additions and 1 deletions
--- a/src/GebietsDatei.java
+++ b/src/GebietsDatei.java
@ -3,7 +3,7 @@
 * interpretieren, als Gebiet-Objekte zu speichern und diese in Form einer Liste zur Verfügung
 * zu stellen.
 *
- * @author Gubitz, Wöstemeyer, Pfannenstiel, Maier, Vigier :D
+ * @author Gubitz, Wöstemeyer, Pfannenstiel, Maier, M. Vigier :D
 */
 public class GebietsDatei {
    //wg //er kam, er sah und siegte