]> gitweb.factorcode.org Git - factor.git/commit
better factor.sh output after git fetch whether script is restarted or not
authorJoe Groff <arcata@gmail.com>
Thu, 27 Aug 2009 17:15:52 +0000 (12:15 -0500)
committerJoe Groff <arcata@gmail.com>
Thu, 27 Aug 2009 17:15:52 +0000 (12:15 -0500)
commit54772c9de1c094fd2c32d2f749664f2d4283f449
treeb4a5dceaa7edbae3c522417d7bebea8175a58541
parenta76751fec25df86cc25985ec4fedf1571460c27d
better factor.sh output after git fetch whether script is restarted or not
build-support/factor.sh