Better modules

This commit is contained in:
Filippo Berto 2021-05-12 18:06:15 +02:00
parent 85a23285b8
commit 21ed795cfd
16 changed files with 534 additions and 302 deletions

View file

@ -1 +0,0 @@
{ allowUnfree = true; }