diff options
Diffstat (limited to 'users')
| -rw-r--r-- | users/grfn/system/home/machines/yeren.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/users/grfn/system/home/machines/yeren.nix b/users/grfn/system/home/machines/yeren.nix index 6ffa02a57c6a..9a7a561b5e62 100644 --- a/users/grfn/system/home/machines/yeren.nix +++ b/users/grfn/system/home/machines/yeren.nix @@ -12,6 +12,7 @@ in ../modules/desktop.nix ../modules/development/agda.nix ../modules/development/readyset.nix + ../modules/development/ocaml.nix ] ++ (lib.optional (pathExists ../modules/private.nix) ../modules/private.nix); # for when hacking |