diff options
Diffstat (limited to 'machines')
-rw-r--r-- | machines/profpatsch/shiki.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/machines/profpatsch/shiki.nix b/machines/profpatsch/shiki.nix index e326a899..b110ca5c 100644 --- a/machines/profpatsch/shiki.nix +++ b/machines/profpatsch/shiki.nix @@ -213,7 +213,7 @@ in { pkgs.vuizvui.profpatsch.watch-server # restart server on code change pkgs.vuizvui.profpatsch.until # restart until cmd succeeds execline - pkgs.vuizvui.profpatsch.dhall + pkgs.dhall # TODO(Profpatsch): make dhall-flycheck build again # pkgs.vuizvui.profpatsch.dhall-flycheck ]; |