Merge remote-tracking branch 'origin/master'

2022-12-09 15:01:49 +01:00
parent e7c5ec3963 14e15a68ce
commit 0facc68e7e
2 changed files with 1 additions and 2 deletions
--- a/src/GebietsDatei.java
+++ b/src/GebietsDatei.java
@@ -15,7 +15,7 @@ import java.util.List;
 public class GebietsDatei implements GebietsQuelle{
    private ArrayList<Gebiet> gebiete = new ArrayList<>();

-    public void GebietsDatei (String dateiname){
+    public GebietsDatei (String dateiname){
        Path pfad = Paths.get(dateiname);

        try {
--- a/src/GebietsQuelle.java
+++ b/src/GebietsQuelle.java
@@ -1,4 +1,3 @@
-import java.util.ArrayList;
 import java.util.List;

 /**