diff options
Diffstat (limited to '')
-rw-r--r-- | views/kit/workspace.josh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/views/kit/workspace.josh b/views/kit/workspace.josh index 23a322a3e6de..d2d7ec49af2b 100644 --- a/views/kit/workspace.josh +++ b/views/kit/workspace.josh @@ -9,3 +9,4 @@ besadii = :/ops/besadii ::nixpkgs/ ::sources/ ] +magrathea = :/tools/magrathea |