--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.envrc	Tue Jan 31 16:46:11 2023 +0100
@@ -0,0 +1,1 @@
+use nix

--- a/.hgignore	Tue Jan 31 16:45:43 2023 +0100
+++ b/.hgignore	Tue Jan 31 16:46:11 2023 +0100
@@ -6,3 +6,4 @@
 .idea
 out
 .idea_modules
+.direnv/

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shell.nix	Tue Jan 31 16:46:11 2023 +0100
@@ -0,0 +1,7 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell {
+  buildInputs = with pkgs; [
+    openjdk11
+  ];
+}