chore: remove redox.patch chunks and reassembly script (no longer needed)

2026-05-03 08:36:15 +01:00
parent c0587f9a2d
commit 4434ae207f
8 changed files with 0 additions and 19560292 deletions
@@ -1,12 +0,0 @@
-#!/bin/bash
-# Reassemble redox.patch from split chunks (needed because the full patch
-# exceeds GitHub's 100 MB file size limit).
-#
-# Usage:
-#   cd local/patches/base/
-#   bash reassemble-redox-patch.sh
-
-set -euo pipefail
-cd "$(dirname "$0")"
-cat redox-patch-chunks/chunk_* > redox.patch
-echo "Reassembled redox.patch ($(wc -c < redox.patch) bytes)"