From b43c07f68bf7ee7d2d729a0299a41687d538ac44 Mon Sep 17 00:00:00 2001 From: James Turner Date: Thu, 23 Feb 2017 11:48:32 -0300 Subject: Rename gemini.disco_stu to disco_stu, for consistency with the python package (until such time as we actually use a namespace package). --- gemini.disco_stu/bld.bat | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 gemini.disco_stu/bld.bat (limited to 'gemini.disco_stu/bld.bat') diff --git a/gemini.disco_stu/bld.bat b/gemini.disco_stu/bld.bat deleted file mode 100644 index fa5316a..0000000 --- a/gemini.disco_stu/bld.bat +++ /dev/null @@ -1,3 +0,0 @@ - -echo Not supported on Windows -exit 1 \ No newline at end of file -- cgit