From c106cf2cc385483b4cd43c49a249ce978a4214f1 Mon Sep 17 00:00:00 2001 From: Alan Orth Date: Sat, 18 Dec 2021 22:40:08 +0200 Subject: [PATCH] util/create-rdf.py: add execute bit So we can run it directly without calling Python. --- util/create-rdf.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 util/create-rdf.py diff --git a/util/create-rdf.py b/util/create-rdf.py old mode 100644 new mode 100755