plugins/debugprint: init

This commit is contained in:
Gaetan Lepage 2023-12-19 14:03:10 +01:00 committed by Gaétan Lepage
parent dceeab73b1
commit 6d72e00455
3 changed files with 151 additions and 0 deletions

View file

@ -43,6 +43,7 @@
./git/neogit.nix
./languages/clangd-extensions.nix
./languages/debugprint.nix
./languages/julia/julia-cell.nix
./languages/lean.nix
./languages/ledger.nix