From 288db9c790f2c141d6afb11ec72425d21aed8161 Mon Sep 17 00:00:00 2001 From: "Philipp A. Hartmann" Date: Tue, 28 Oct 2014 15:10:36 +0100 Subject: [PATCH] drop unneeded doc/diagram/.gitignore --- doc/diagram/.gitignore | 1 - 1 file changed, 1 deletion(-) delete mode 100644 doc/diagram/.gitignore diff --git a/doc/diagram/.gitignore b/doc/diagram/.gitignore deleted file mode 100644 index a136337..0000000 --- a/doc/diagram/.gitignore +++ /dev/null @@ -1 +0,0 @@ -*.pdf