From fa380f4d1d3ab9430c1b529e086e3757ff65c93a Mon Sep 17 00:00:00 2001
From: Joris
Date: Thu, 16 May 2019 09:37:02 +0200
Subject: Minor modification

---
 dev                      | 2 +-
 project/build.properties | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 project/build.properties

diff --git a/dev b/dev
index 7334dfe..d268ec2 100755
--- a/dev
+++ b/dev
@@ -1,2 +1,2 @@
 #!/bin/sh
-nix-shell --command "SHELL=$SHELL mux local"
+nix-shell --command "SHELL=$SHELL tmuxinator local"
diff --git a/project/build.properties b/project/build.properties
new file mode 100644
index 0000000..b7dd3cb
--- /dev/null
+++ b/project/build.properties
@@ -0,0 +1 @@
+sbt.version=1.0.2
-- 
cgit v1.2.3