From 71b28e0774f65b5c11fd7121d1a20a4cc38d89ca Mon Sep 17 00:00:00 2001 From: Luca Date: Thu, 30 Aug 2018 11:19:09 +0200 Subject: Cleanup --- lib | 1 - 1 file changed, 1 deletion(-) delete mode 120000 lib (limited to 'lib') diff --git a/lib b/lib deleted file mode 120000 index d049b7c46..000000000 --- a/lib +++ /dev/null @@ -1 +0,0 @@ -src/lib/.libs \ No newline at end of file -- cgit v1.2.3