Merge branch 'pu/mb/add_gitignore'
commitd0c5db47ea340b535a5cf23f412760a50cac5d06
authorPieter de Bie <pdebie@ai.rug.nl>
Mon, 22 Dec 2008 20:59:45 +0000 (22 21:59 +0100)
committerPieter de Bie <pdebie@ai.rug.nl>
Mon, 22 Dec 2008 20:59:45 +0000 (22 21:59 +0100)
tree87c422d96c48f969dec96f98e660e4e699751044
parent8d729dae4cc8d3b564d149d6c9bb96922ee1bafa
parentfc00f6c087a31a827adb43dfe671aa9db7041286
Merge branch 'pu/mb/add_gitignore'

* pu/mb/add_gitignore:
  CommitView: Add option to add files to .gitignore