From 12907e67963f0741f3ff4205e51c07761488dd3a Mon Sep 17 00:00:00 2001 From: Nico Poggi Date: Fri, 19 Oct 2018 16:40:35 +0200 Subject: [PATCH] Revert "Rebase for PR 87: Add -m for custom master, use SBT_HOME if set (#169)" This reverts commit 3c1c9e9070db11a06ca3154a545faff5e3c15d77.