Revision c4585e66
ID | c4585e661c9dbe01c8ee81eaa835463df2e28d17 |
Remove references to the obsolete scala-tools repo
Files
- added
- modified
- copied
- renamed
- deleted
ID | c4585e661c9dbe01c8ee81eaa835463df2e28d17 |
Added by Georgios Gousios about 12 years ago
Remove references to the obsolete scala-tools repo