From 1d551724568be4ecaae0571379dcb485f0f84a2a Mon Sep 17 00:00:00 2001 From: George Oikonomou Date: Sat, 12 May 2018 16:29:38 +0100 Subject: [PATCH] Remove obsolete line in gitignore --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index f59be6e16..444d6ee24 100644 --- a/.gitignore +++ b/.gitignore @@ -17,7 +17,6 @@ Makefile.target Makefile.*.defines tools/doxygen/html patches-* -tools/tunslip tools/tunslip6 build tools/coffee-manager/build/