From 61da8b1880650ccce44dd3ee7cfbc4c74b4c7d1d Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Fri, 1 Jul 2022 11:22:46 +0200 Subject: [PATCH] Fixed uninstall --- devel/trexio/uninstall | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 devel/trexio/uninstall diff --git a/devel/trexio/uninstall b/devel/trexio/uninstall old mode 100644 new mode 100755