diff options
Diffstat (limited to 'users/grfn')
| -rw-r--r-- | users/grfn/system/home/modules/emacs.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/users/grfn/system/home/modules/emacs.nix b/users/grfn/system/home/modules/emacs.nix index 79eb20d9531e..b84b36843781 100644 --- a/users/grfn/system/home/modules/emacs.nix +++ b/users/grfn/system/home/modules/emacs.nix @@ -48,6 +48,8 @@ in upquote varwidth wrapfig + bussproofs + bussproofs-extra ; }) |