From 9b09d3621d99b59741dc59346c8f5f7cd658751b Mon Sep 17 00:00:00 2001 From: Peter Pentchev Date: Mon, 11 Jun 2001 09:39:46 +0000 Subject: Remove the java/jpda port. PR: 28033 Submitted by: maintainer --- java/Makefile | 1 - 1 file changed, 1 deletion(-) (limited to 'java/Makefile') diff --git a/java/Makefile b/java/Makefile index 8969db4228bb..9fba3cb4c465 100644 --- a/java/Makefile +++ b/java/Makefile @@ -24,7 +24,6 @@ SUBDIR += jfc SUBDIR += jikes SUBDIR += jlex - SUBDIR += jpda SUBDIR += jre SUBDIR += jsdk SUBDIR += junit -- cgit v1.2.3