]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9840e5e) | patch
Delete the .git/index in case it's corrupted. Do a "git reset --hard HEAD" before...
authorDoug Coleman <doug.coleman@gmail.com>
Sun, 13 Jun 2010 23:23:41 +0000 (18:23 -0500)
committerDoug Coleman <doug.coleman@gmail.com>
Mon, 14 Jun 2010 00:34:17 +0000 (19:34 -0500)
commitcf09a138d2f3922698b6ceff70167b4ccb02b762
tree8ec3d4343d1733c89e389c8b042b036b433aa78etree | snapshot
parent9840e5e1479f013bf472bb9a0b87a3ca7085f145commit | diff
Delete the .git/index in case it's corrupted.  Do a "git reset --hard HEAD" before a git pull.  Make sure a build directory cannot collide with another build directory.
extra/mason/common/common.factor diff | blob | history
extra/mason/updates/updates.factor diff | blob | history
Factor programming language