From fa5f1e02042a808c001ac299b5c2f5b60278809e Mon Sep 17 00:00:00 2001 From: Charles Date: Tue, 31 Jul 2001 21:26:25 +0000 Subject: [PATCH] --- makefile.gaz | 1 - 1 file changed, 1 deletion(-) diff --git a/makefile.gaz b/makefile.gaz index c1b8bef97..2d3624aa0 100644 --- a/makefile.gaz +++ b/makefile.gaz @@ -134,7 +134,6 @@ platform_src := platform \ psswitch \ plift \ plurve \ - psoil \ pbubtube \ pgbubble \ pfblock \