Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Produce PureInterface flag together with NoInits flag | Martin Odersky | 2015-06-16 | 1 | -5/+0 |
* | Remove trailing spaces in Dotty source. | Dmitry Petrashko | 2015-04-09 | 1 | -4/+4 |
* | Review of #394 | Dmitry Petrashko | 2015-03-18 | 1 | -1/+1 |
* | Compute PureInterface flag after pickling. | Martin Odersky | 2015-03-18 | 1 | -0/+30 |