diff options
-rw-r--r-- | .gitignore | 1 | ||||
l--------- | exec/.#ebus-dump-layer2.hs | 1 |
2 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,5 @@ *~ +.\#* *.hi *.o dist diff --git a/exec/.#ebus-dump-layer2.hs b/exec/.#ebus-dump-layer2.hs deleted file mode 120000 index 1a565a9..0000000 --- a/exec/.#ebus-dump-layer2.hs +++ /dev/null @@ -1 +0,0 @@ -yvesf@x200s.23051:1331883860
\ No newline at end of file |