From 7dff7bb69695f89046272bf31b2b60f0431f1f30 Mon Sep 17 00:00:00 2001 From: Igor Minar Date: Wed, 9 Jan 2013 16:07:34 -0800 Subject: chore(*): remove obsolete files --- .externalToolBuilders/docs.launch | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 .externalToolBuilders/docs.launch (limited to '.externalToolBuilders/docs.launch') diff --git a/.externalToolBuilders/docs.launch b/.externalToolBuilders/docs.launch deleted file mode 100644 index 25b6b881..00000000 --- a/.externalToolBuilders/docs.launch +++ /dev/null @@ -1,11 +0,0 @@ - - - - - - - - - - - -- cgit v1.2.3