From 3376b6420d3b6cc965890e46e7bbd06fbc9fd037 Mon Sep 17 00:00:00 2001 From: Thomas Ulmer Date: Sun, 14 Jun 2026 08:59:25 -0700 Subject: layout reorg --- src/microhs/microhs | 1 - src/microhs/setup.sh | 9 --------- 2 files changed, 10 deletions(-) delete mode 160000 src/microhs/microhs delete mode 100755 src/microhs/setup.sh (limited to 'src/microhs') diff --git a/src/microhs/microhs b/src/microhs/microhs deleted file mode 160000 index 547d3f5..0000000 --- a/src/microhs/microhs +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 547d3f5613bc1b0a1cdfaf065c3899af27e88eb5 diff --git a/src/microhs/setup.sh b/src/microhs/setup.sh deleted file mode 100755 index 297059f..0000000 --- a/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