diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2021-01-03 11:01:35 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2021-01-03 11:01:35 +0100 |
commit | 2c8cfc55840a142482c0ade75a1ba7e883961ea1 (patch) | |
tree | 785c1e0176546e960b0ea97ec68222dcf9cada45 /doc/paper/shell.nix | |
parent | 7fc179ffde51f3aa834fe4063232c4c62ae9d951 (diff) |
Scale figures down a fair bit
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
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 d9fd979..1bbdd82 100644 --- a/doc/paper/shell.nix +++ b/doc/paper/shell.nix @@ -24,6 +24,7 @@ pkgs.mkShell rec { xcolor makeglos listings + wrapfig ; }) ]; |