]> gitweb.factorcode.org Git - factor.git/commit
Shorter
authornomennescio <nomennescio@factorcode.org>
Mon, 16 Oct 2023 18:55:34 +0000 (20:55 +0200)
committernomennescio <nomennescio@factorcode.org>
Mon, 16 Oct 2023 18:55:34 +0000 (20:55 +0200)
commit1ce967343dc7290db27cb739d4518dd99ce22224
tree64679aa39a97f4d5ee1d57ceb4aa876d688d35cc
parent97c246b73767cf97cbe3af25afc99662ad9bd152
Shorter
build.sh