aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorJoris2016-10-29 21:43:37 +0200
committerJoris2016-10-29 21:43:37 +0200
commit14858277fb74c3788af1226f37b22089229edc34 (patch)
treefc3c0a87429362c55673d72518e97a9d6f5bd80d /dev
parent57c4fa462996307293e3da3068ec40ef69000e13 (diff)
Use Hakyll to generate web pages
Diffstat (limited to 'dev')
-rwxr-xr-xdev2
1 files changed, 2 insertions, 0 deletions
diff --git a/dev b/dev
new file mode 100755
index 0000000..ddd2ada
--- /dev/null
+++ b/dev
@@ -0,0 +1,2 @@
+#!/bin/sh
+nix-shell --command "tmuxinator local"