]> git.lizzy.rs Git - micro.git/commit
Clean up build tools
authorZachary Yedidia <zyedidia@gmail.com>
Fri, 27 Dec 2019 01:43:43 +0000 (20:43 -0500)
committerZachary Yedidia <zyedidia@gmail.com>
Fri, 27 Dec 2019 01:43:43 +0000 (20:43 -0500)
commit8368989341437321d69fb2a8e60ac93ec01de4bf
tree0b8c67a6b2adc90c03604d9605bc5ff9503efde6
parent9e60d468ca16eae5042475f52c480c121c6cc4bf
Clean up build tools
tools/build-deb.sh [deleted file]
tools/build-packages.sh [deleted file]
tools/build-rpm.sh [deleted file]
tools/compile-linux.sh
tools/cross-compile.sh
tools/micro.spec [deleted file]
tools/nightly-release.sh
tools/pre-release.sh
tools/release.sh