aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoris2019-05-16 09:37:02 +0200
committerJoris2019-05-16 09:37:02 +0200
commitfa380f4d1d3ab9430c1b529e086e3757ff65c93a (patch)
treeb8ba751bc1c4db5657b67be9e6f3c54021546702
parentc9a3b1652b93b1577e98fefbcb8652be4d7237f9 (diff)
Minor modification
-rwxr-xr-xdev2
-rw-r--r--project/build.properties1
2 files changed, 2 insertions, 1 deletions
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