Fixed shutdown problems. Everything should properly shut down now.
[rodin/chimara.git] / interpreters / git.patch
2009-10-07 Philip ChimentoApplied patches to Git interpreter from Gargoyle source...