diff options
| -rw-r--r-- | devel/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/Makefile b/devel/Makefile index 39119698c363..2b9754fafdc8 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1,8 +1,9 @@ -# $Id: Makefile,v 1.130 1998/08/10 00:09:42 steve Exp $ +# $Id: Makefile,v 1.131 1998/08/13 02:18:00 asami Exp $ # SUBDIR += ElectricFence SUBDIR += ORBacus + SUBDIR += ORBit SUBDIR += SWIG SUBDIR += SpecTcl SUBDIR += a2dev |