Move shells to separate files

This commit is contained in:
Charlotte Van Petegem 2022-06-15 14:25:11 +02:00
parent 7d60967e74
commit fbe31586f9
No known key found for this signature in database
GPG key ID: 019E764B7184435A
10 changed files with 211 additions and 205 deletions

View file

@ -0,0 +1,4 @@
{ pkgs, ... }: pkgs.devshell.mkShell {
name = "Objectgericht programmeren project";
packages = with pkgs; [ openssl maven openjdk ];
}