2013-04-15 | Tom Clegg | cope better with unexpected pipeline structure | tree | commitdiff |
2013-04-15 | Tom Clegg | clean up workbench menu bar | tree | commitdiff |
2013-04-15 | Tom Clegg | rename projects | tree | commitdiff |
2013-04-10 | Tom Clegg | rename explorer -> workbench | tree | commitdiff |
2013-04-10 | Ward Vandewege | Merge branch 'explorer' | tree | commitdiff |
2013-04-10 | Ward Vandewege | moved explorer into new directory structure | tree | commitdiff |