From 8d1b33b1c255568460979494f78e767561ac1c18 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 5 Jun 2022 11:45:15 +0200
Subject: home: add traveltext to packages

---
 home/packages.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'home')

diff --git a/home/packages.nix b/home/packages.nix
index ba298bf..c6d937d 100644
--- a/home/packages.nix
+++ b/home/packages.nix
@@ -47,5 +47,7 @@ in
     # isabelle
     (import "${inputs.playground.outPath}/isabelle-nix-fhsenv" {inherit pkgs; })
     (import /home/stuebinm/projects/isabelle-utils {}).isabat
+
+    (import inputs.traveltext { inherit pkgs; })
   ];
 }
-- 
cgit v1.2.3