From 8c43e795c772090b336c0f170a6e5dcab196125d Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Fri, 22 Jun 2018 13:45:03 +0200
Subject: Remove fourier plugin

As stated in the manual, the fourier tactic is subsumed by lra.
---
 .github/CODEOWNERS | 3 ---
 1 file changed, 3 deletions(-)

(limited to '.github')

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index bbd2d349c..d3b347862 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -135,9 +135,6 @@
 /plugins/firstorder/   @PierreCorbineau
 # Secondary maintainer @herbelin
 
-/plugins/fourier/       @herbelin
-# Secondary maintainer @gares
-
 /plugins/funind/        @forestjulien
 # Secondary maintainer @Matafou
 
-- 
cgit v1.2.3