diff --git a/Dokumentation/.gitignore b/Dokumentation/.gitignore deleted file mode 100644 index e0a32bb..0000000 --- a/Dokumentation/.gitignore +++ /dev/null @@ -1 +0,0 @@ -bilder/*.dot.* \ No newline at end of file diff --git a/Dokumentation/bilder/.gitignore b/Dokumentation/bilder/.gitignore new file mode 100644 index 0000000..c2813ac --- /dev/null +++ b/Dokumentation/bilder/.gitignore @@ -0,0 +1 @@ +*.eps \ No newline at end of file