diff options
Diffstat (limited to 'user')
| -rw-r--r-- | user/marvin.nix (renamed from user/mba.nix) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/user/mba.nix b/user/marvin.nix
index b76bdd74..b76bdd74 100644
--- a/user/mba.nix
+++ b/user/marvin.nix
|