From 82a079fce3be28eb308fe9ccb8884b4fd6923d12 Mon Sep 17 00:00:00 2001 From: Baptiste Daroussin Date: Mon, 1 Sep 2014 15:53:20 +0000 Subject: Remove non staged ports without pending PR from f* --- finance/Makefile | 1 - 1 file changed, 1 deletion(-) (limited to 'finance/Makefile') diff --git a/finance/Makefile b/finance/Makefile index b2d973bb86e5..01da75d85993 100644 --- a/finance/Makefile +++ b/finance/Makefile @@ -47,7 +47,6 @@ SUBDIR += openerp-server SUBDIR += openerp-web SUBDIR += openhbci - SUBDIR += opentaxsolver SUBDIR += p5-Business-CreditCard SUBDIR += p5-Business-MaxMind-CreditCardFraudDetection SUBDIR += p5-Business-OCV -- cgit v1.2.3