diff --git a/examples/dfg/report/.#finalreport.tex b/examples/dfg/report/.#finalreport.tex deleted file mode 120000 index e973092..0000000 --- a/examples/dfg/report/.#finalreport.tex +++ /dev/null @@ -1 +0,0 @@ -kohlhase@MiKo.fritz.box.77372 \ No newline at end of file