Merge branch 'js/gc-prune'
commit43e35f6bc14c6e00148a01700e3df191aa99c9f7
authorJunio C Hamano <gitster@pobox.com>
Sun, 15 Feb 2009 08:05:11 +0000 (15 00:05 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 15 Feb 2009 08:05:11 +0000 (15 00:05 -0800)
treed1f5a26891a6f990833bc096f04dc1157aabde48
parentb43174ebf12299ba3da3007c1e759613af153f6c
parent58e9d9d472ff4dbc6cfbf7459878778c739395eb
Merge branch 'js/gc-prune'

* js/gc-prune:
  gc: make --prune useful again by accepting an optional parameter