4 Commits

Author	SHA1	Message	Date
Kevin Rauscher	7fe795d366	metals: 0.8.2 -> 0.8.3	2020-03-20 13:22:33 +01:00
Kevin Rauscher	f311e4f04b	metals: 0.8.1 -> 0.8.2	2020-03-19 20:21:39 +01:00
Olli Helenius	c924fe8b7e	metals: 0.7.6 -> 0.8.1	2020-03-12 23:56:48 +00:00
Kevin Rauscher	9a966071d7	metals: init at 0.7.6	2019-09-24 09:04:38 +02:00