improved download and expansion scripts organized for github distribution
authorThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sun, 4 May 2025 16:13:48 +0000 (16:13 +0000)
committerThomas Walker Lynch <eknp9n@reasoningtechnology.com>
Sun, 4 May 2025 16:13:48 +0000 (16:13 +0000)
commit003a58ebf4b5a028f0d50c40cb34937acc22693c
treed6c842576355f5e1519b1d7c7a45f73a816df631
parent097c3dd5b7d0fc09fd6a1fe703b0fddc24e4b3d7
improved download and expansion scripts organized for github distribution
script🖉/build_all.sh
script🖉/clean_source.sh
script🖉/clean_source_expansion.sh [new file with mode: 0755]
script🖉/clean_upstream.sh [new file with mode: 0755]
script🖉/download_expand_sources.sh [deleted file]
script🖉/download_sources.sh [new file with mode: 0755]
script🖉/environment.sh
script🖉/extract_from_tar.sh [new file with mode: 0755]
tmp/.gitignore [new file with mode: 0644]