DGNum/dgsi
14
0
Fork 0
Code Issues 7 Pull requests 1 Projects Releases Packages Wiki Activity

chore(shell): Switch back to django-stubs

Browse source 
It is more up to date, and no longer requires mypy
This commit is contained in:
Tom Hubrecht 2024-09-13 17:09:21 +02:00
parent 7581bf59df
commit 7491fdb376
Signed by: thubrecht
SSH key fingerprint: SHA256:r+nK/SIcWlJ0zFZJGHtlAoRwq1Rm+WcKAm5ADYMoQPc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
default.nix
View file

@ -43,7 +43,7 @@ in
ps.django-allauth ps.django-allauth
ps.django-compressor ps.django-compressor
ps.django-debug-toolbar ps.django-debug-toolbar
ps.django-types ps.django-stubs
ps.loadcredential ps.loadcredential
] ]
++ (builtins.map (p: ps.callPackage ./pkgs/${p} { }) [ ++ (builtins.map (p: ps.callPackage ./pkgs/${p} { }) [