From 03cbfc78f3bd13969d87487ac306f71861d4cd12 Mon Sep 17 00:00:00 2001
From: fuwa <fuwa25519@protonmail.com>
Date: Tue, 31 Mar 2020 20:51:50 +0800
Subject: [PATCH] use jdk13

---
 etc/nix/shell.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/nix/shell.nix b/etc/nix/shell.nix
index 725acd7..cbd09b3 100644
--- a/etc/nix/shell.nix
+++ b/etc/nix/shell.nix
@@ -53,7 +53,7 @@ with nixpkgs;
     # openjdk
     # jetbrains.jdk
     # zulu
-    jdk12
+    jdk13
     # dart_dev
     gnumake
     gcc