From 235d4d2087c9890d93657ea18d0d2980e1cad455 Mon Sep 17 00:00:00 2001 From: Thierry Vignaud Date: Mon, 16 Mar 2015 23:50:59 +0100 Subject: kill old junk --- tools/i386/.gitignore | 1 - tools/ia64/.gitignore | 1 - tools/ppc/.gitignore | 1 - tools/x86_64/.gitignore | 1 - 4 files changed, 4 deletions(-) delete mode 100644 tools/i386/.gitignore delete mode 100644 tools/ia64/.gitignore delete mode 100644 tools/ppc/.gitignore delete mode 100644 tools/x86_64/.gitignore (limited to 'tools') diff --git a/tools/i386/.gitignore b/tools/i386/.gitignore deleted file mode 100644 index 8b1378917..000000000 --- a/tools/i386/.gitignore +++ /dev/null @@ -1 +0,0 @@ - diff --git a/tools/ia64/.gitignore b/tools/ia64/.gitignore deleted file mode 100644 index 8b1378917..000000000 --- a/tools/ia64/.gitignore +++ /dev/null @@ -1 +0,0 @@ - diff --git a/tools/ppc/.gitignore b/tools/ppc/.gitignore deleted file mode 100644 index 8b1378917..000000000 --- a/tools/ppc/.gitignore +++ /dev/null @@ -1 +0,0 @@ - diff --git a/tools/x86_64/.gitignore b/tools/x86_64/.gitignore deleted file mode 100644 index 8b1378917..000000000 --- a/tools/x86_64/.gitignore +++ /dev/null @@ -1 +0,0 @@ - -- cgit v1.2.1