diff options
| author | devhell <devhell@mailfresser.de> | 2017-10-23 13:06:20 +0100 |
|---|---|---|
| committer | devhell <devhell@mailfresser.de> | 2017-10-23 13:06:20 +0100 |
| commit | cbf484c32e5f7e7db4f6946b1e2133f944c152c4 (patch) | |
| tree | 4426e057b8c2ea283a56fad8354202cbd5441b68 /modules/user | |
| parent | 9586254ffd7110d2554b4503f87f34092db97db5 (diff) | |
profiles/devhell: Add tectonic
Now 'tectonic' sounds interesting and promising. Let's try it out!
Diffstat (limited to 'modules/user')
| -rw-r--r-- | modules/user/devhell/profiles/packages.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/modules/user/devhell/profiles/packages.nix b/modules/user/devhell/profiles/packages.nix index 06fd0f21..65eb62e2 100644 --- a/modules/user/devhell/profiles/packages.nix +++ b/modules/user/devhell/profiles/packages.nix @@ -267,6 +267,7 @@ in { strace surfraw taskwarrior + tectonic telnet termite testdisk |