From 7e1391cc47dbff891d9ebd2a734bdd3ead1ab56f Mon Sep 17 00:00:00 2001
From: William Carroll <wpcarro@gmail.com>
Date: Mon, 27 Jan 2020 16:21:30 +0000
Subject: Rename mono -> universe

Update code that depends on my mono-repo being named "mono". I've renamed it to
"universe", which explains the changes in this commit.

TODO: Merge dotfiles into universe.
---
 .envrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.envrc')

diff --git a/.envrc b/.envrc
index 0a0185c1985b..f097cc4eb456 100644
--- a/.envrc
+++ b/.envrc
@@ -1,2 +1,2 @@
 export DOTFILES=~/dotfiles
-NIX_PATH=nixpkgs=$HOME/.nix-defexpr/nixpkgs:depot=$HOME/depot:universe=$HOME/mono
+NIX_PATH=nixpkgs=$HOME/.nix-defexpr/nixpkgs:depot=$HOME/depot:universe=$HOME/universe
-- 
cgit 1.4.1