Merge branch 'pu/pb/nicer_diff'
commite2119d011bae431993c1f7477ca0b5bc99c5245d
authorPieter de Bie <pdebie@ai.rug.nl>
Fri, 3 Oct 2008 15:20:47 +0000 (3 17:20 +0200)
committerPieter de Bie <pdebie@ai.rug.nl>
Fri, 3 Oct 2008 15:20:47 +0000 (3 17:20 +0200)
treeafccf00c23111685bf6aae4bfc4cd7fd31a5483c
parente25aec668bf3c41bc24ee5435557efd2dfe4f0a2
parent37a812504ab25436b8d99ccb79029850aca3d589
Merge branch 'pu/pb/nicer_diff'

* pu/pb/nicer_diff:
  DiffView: make diff width 100%