infrastructure

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit 3ea34c191980f9e27bbc529cddfc42029d324cf3
parent dd682537d41d723a75ba64cb4dca864b5f68f877
Author: Silas Brack <silasbrack@gmail.com>
Date:   Sat,  4 Jul 2026 21:29:07 +0200

gaia: add pdf-tools

Diffstat:

Mhosts/gaia/home.nix | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/hosts/gaia/home.nix b/hosts/gaia/home.nix
@@ -24,6 +24,7 @@
           ep.expand-region
           ep.hyperbole
           ep.notmuch
+          ep.pdf-tools
           (ep.treesit-grammars.with-grammars (g: [
             g.tree-sitter-python
             g.tree-sitter-rust