From e01b84a6698f5060fd7dea789fc0ffa872f26b15 Mon Sep 17 00:00:00 2001 From: Thomas Ulmer Date: Sun, 1 Mar 2026 11:37:31 -0800 Subject: remove tree --- tree/src/microhs/microhs | 1 - tree/src/microhs/setup.sh | 9 --------- 2 files changed, 10 deletions(-) delete mode 160000 tree/src/microhs/microhs delete mode 100755 tree/src/microhs/setup.sh (limited to 'tree/src/microhs') diff --git a/tree/src/microhs/microhs b/tree/src/microhs/microhs deleted file mode 160000 index 547d3f5..0000000 --- a/tree/src/microhs/microhs +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 547d3f5613bc1b0a1cdfaf065c3899af27e88eb5 diff --git a/tree/src/microhs/setup.sh b/tree/src/microhs/setup.sh deleted file mode 100755 index 297059f..0000000 --- a/tree/src/microhs/setup.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash - -set -e - -cd microhs -sed -i 's,^PREFIX=.*,PREFIX=${HOME}/.local,' Makefile -make -make install -make -f Makefile.packages -- cgit v1.2.3