From dc317901ad39a9d512de82440f57bc3c2fe64444 Mon Sep 17 00:00:00 2001
From: Anthony Borghi <anthony.borghi@veremes.com>
Date: Mon, 3 Jul 2023 08:57:39 +0200
Subject: [PATCH] ajout index

---
 source/tools/index.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/tools/index.rst b/source/tools/index.rst
index 9be006a..88d8dd7 100644
--- a/source/tools/index.rst
+++ b/source/tools/index.rst
@@ -15,3 +15,4 @@ Documentation Veremes sur les outils utilisés
 
    vscode/index.rst
    git/index.rst
+   pg/index.rst
-- 
GitLab