| commit | fd6efc0a2d9009dc973abdcdc09c65ecb2c3a379 | [log] [tgz] |
|---|---|---|
| author | Georg Kallidis <gkallidis@cedis.fu-berlin.de> | Fri Dec 10 10:03:51 2021 +0100 |
| committer | Georg Kallidis <gkallidis@cedis.fu-berlin.de> | Fri Dec 10 10:07:30 2021 +0100 |
| tree | 31564e8fc8526e970336493eb670d9e77176bc92 | |
| parent | 28ede6fe6380e29dcabc24ce89a61b52f098a442 [diff] |
update .gitignore
diff --git a/.gitignore b/.gitignore index 707e7a0..628dd3f 100644 --- a/.gitignore +++ b/.gitignore
@@ -1,5 +1,5 @@ docs/ -build.properties target/ +.settings/ .project *.log*