users/dev_tools: add gnumake

This commit is contained in:
Dmitriy Pleshevskiy 2022-11-23 15:41:38 +03:00
parent 148cf2f89d
commit 8e581924bd
Signed by: pleshevskiy
GPG key ID: 1B59187B161C0215

View file

@ -36,6 +36,7 @@ in
bat # a cat clone with syntax highlighting and git integration
ripgrep # a fuzzy finder
vnetod # a tool to change env sections
gnumake
nixpkgs-fmt # nix formatter
nil # nix lsp server