diff options
Diffstat (limited to 'tv')
| -rw-r--r-- | tv/2configs/gitrepos.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tv/2configs/gitrepos.nix b/tv/2configs/gitrepos.nix index 6f4dedad6..fc76e5fd6 100644 --- a/tv/2configs/gitrepos.nix +++ b/tv/2configs/gitrepos.nix @@ -116,6 +116,9 @@ let { TabFS = { cgit.desc = "mount browser tabs & co. as a filesystem"; }; + texnix = { + cgit.desc = "TeX live environment generator"; + }; with-ssh = {}; } // mapAttrs (_: recursiveUpdate { cgit.section = "2. Host configurations"; }) { ni = { |