Linux fixes

2018-10-15 10:35:03 +02:00
parent f6c2219bd5
commit bd0e541d80
4 changed files with 6 additions and 7 deletions
@@ -4,3 +4,4 @@
 *.exe
 *.user
 /vs/*/*
+/bin/slime