From 5c466b4fe50a2b8b5706b0f8774942f9a328c08f Mon Sep 17 00:00:00 2001 From: Dave Reisner Date: Sat, 6 Oct 2012 20:00:18 -0400 Subject: install/ide: remove this crufty old hook Signed-off-by: Dave Reisner --- install/ide | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 install/ide (limited to 'install/ide') diff --git a/install/ide b/install/ide deleted file mode 100644 index 5531132..0000000 --- a/install/ide +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -build() { - add_checked_modules "/ide/" && add_module "ide-gd_mod?" -} - -help() { - cat <