History for master:script/repo_housekeeping

Tuesday December 30 2008
- 03:19
  
  davvid committed bbcaecb
  
  script/repo_housecleaning: use the dashless form of 'git gc'
Friday November 28 2008
- 20:02
  
  simon committed 899296a
  
  Apply the same PATH fixup as in a67761b38 to some other scripts
Saturday February 23 2008
- 00:33
  
  johan committed b599ffd
  
  git-gc housekeeping script