Merge branch 'jc/no-slim-shell'
commit837a156197e7921c256e6189d838963d2999fcb6
authorJunio C Hamano <gitster@pobox.com>
Sun, 24 Aug 2008 23:14:22 +0000 (24 16:14 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 24 Aug 2008 23:14:22 +0000 (24 16:14 -0700)
tree4079bb32a713d4ed2a8c80bed5e34786f955a91e
parent49d3536594e653717844d53825fa7c0a494888f7
parentdaa0cc9a92c9c2c714aa5f7da6d0ff65b93e0698
Merge branch 'jc/no-slim-shell'

* jc/no-slim-shell:
  Build-in "git-shell"
  shell: do not play duplicated definition games to shrink the executable
Makefile