@@ -100,11 +100,6 @@ Extra-source-files:
100 libs/effects/Effect/*.idr
100 libs/effects/Effect/*.idr
101 libs/effects/*.idr
101 libs/effects/*.idr
103− libs/neweffects/Makefile
104− libs/neweffects/effects.ipkg
105− libs/neweffects/Effect/*.idr
106− libs/neweffects/*.idr
109 llvm/Makefile
104 llvm/Makefile