From 8aa45309a214850a8d7ccf2c6f130008ef5ebfbc Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Sat, 31 Mar 2018 12:10:50 +0200
Subject: [PATCH] Update doc

---
 doc/DEV.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/DEV.md b/doc/DEV.md
index 60bfc71a..d934b0d0 100644
--- a/doc/DEV.md
+++ b/doc/DEV.md
@@ -27,7 +27,7 @@ How to make a release?
 
 In case of problem, open a problem report.
 
-List of primary systems
+List of tested systems
 =======================
 
 * gcc 4.9 on linux/x86-64
@@ -37,4 +37,3 @@ List of primary systems
 * g++ 7 on linux/x86-64
 * tcc on linux/x86-64
 * gcc 6 on windows/x86-64
-