diff options
Diffstat (limited to 'doc/paper/shell.nix')
-rw-r--r-- | doc/paper/shell.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/paper/shell.nix b/doc/paper/shell.nix index 3defb8f..d9fd979 100644 --- a/doc/paper/shell.nix +++ b/doc/paper/shell.nix @@ -23,6 +23,7 @@ pkgs.mkShell rec { citeref xcolor makeglos + listings ; }) ]; |