index
:
server
main
Unnamed repository; edit this file 'description' to name the repository.
External SSH Git service user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
(limited to '')
-rw-r--r--
.envrc
4
1 files changed, 0 insertions, 4 deletions
diff --git a/.envrc b/.envrc
deleted file mode 100644
index ac58f43..0000000
--- a/
.envrc
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/sh
-set -eu
-
-export GUILE_LOAD_PATH="$PWD/src/infrastructure/lib"