From 20f66b55565fcc2749be00d8e77a8d9f8bdda914 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 12 Mar 2017 12:51:49 +0100 Subject: [PATCH] Makefile --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 406b26d..5be2dc9 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,4 @@ +# Makefile clean: rm -rf rs/__pycache__ smt/rs/__pycache__ logics/__pycache__ __pycache__