From 0f34fb672689725f8436dff4c12de7ebd129a848 Mon Sep 17 00:00:00 2001 From: rocky Date: Sat, 16 Mar 2024 03:37:43 -0400 Subject: [PATCH] Administrivia --- admin-tools/make-dist-3.0-3.2.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 admin-tools/make-dist-3.0-3.2.sh diff --git a/admin-tools/make-dist-3.0-3.2.sh b/admin-tools/make-dist-3.0-3.2.sh old mode 100644 new mode 100755