From 5e52b56b530af34819e041cc20ff5421a8282d5f Mon Sep 17 00:00:00 2001 From: Damien Regad Date: Thu, 29 Aug 2019 12:43:08 +0200 Subject: [PATCH] Reorder dev doc links Move Dev Guide + REST API reference up --- doc_dev_inc.php | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/doc_dev_inc.php b/doc_dev_inc.php index c3fd623..c587f99 100644 --- a/doc_dev_inc.php +++ b/doc_dev_inc.php @@ -17,13 +17,6 @@