diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/guix/shell-authorized-directories | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/guix/shell-authorized-directories b/config/guix/shell-authorized-directories index 4a68ad95..3e8ee89d 100644 --- a/config/guix/shell-authorized-directories +++ b/config/guix/shell-authorized-directories @@ -13,4 +13,4 @@ /home/kb/workspace/src/edu/unl/cse/paclab-transformer /home/kb/workspace/src/gov/nasa/jpf-core /home/kb/workspace/src/gov/nasa/jpf-symbc -/home/kb/workspace/src/org/gnu/guix/guix +/home/kb/workspace/src/org/gnu/guix |