From 73f583661efda56eff60b69d7905f7653461a385 Mon Sep 17 00:00:00 2001 From: Matthias Vogelgesang Date: Thu, 28 Aug 2014 10:57:54 +0200 Subject: [PATCH] Clean ignored files --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 9695bcd..ad99b3c 100644 --- a/Makefile +++ b/Makefile @@ -9,4 +9,4 @@ $(PDF): $(SRC) clean: @rm -f $(PDF) - @git clean + @git clean -xf