From 8089ad46fab609cb48f6b2b9b81587bead28b0a4 Mon Sep 17 00:00:00 2001 From: Corentin Le Molgat Date: Fri, 27 Jan 2023 17:12:28 +0100 Subject: [PATCH] tools: make gen_ref_doc.py executable --- tools/doc/gen_ref_doc.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 tools/doc/gen_ref_doc.py diff --git a/tools/doc/gen_ref_doc.py b/tools/doc/gen_ref_doc.py old mode 100644 new mode 100755