Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge pull request #1884 from MasseGuillaume/restore-delegating-reporter | Felix Mulder | 2017-03-11 | 1 | -7/+12 |
|\ | |||||
| * | restore position offset in DelegatingReporter | Guillaume Massé | 2017-01-06 | 1 | -7/+12 |
* | | Remove faulty dottydoc API | Felix Mulder | 2017-01-31 | 1 | -19/+8 |
* | | Fix dotty docs gen, scroll | Felix Mulder | 2017-01-31 | 1 | -3/+4 |
|/ | |||||
* | Make every project use the new directory structure | Guillaume Martres | 2016-11-22 | 507 | -4197/+0 |
* | Move bridge to correct location, fix unmanaged sources in build | Felix Mulder | 2016-11-22 | 507 | -0/+4570 |