From 0c70ed5975673eff0cf2ce0615d0e52544147c7d Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Sun, 15 Dec 2019 22:32:39 +0100 Subject: [PATCH] use original extendj --- extendj | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extendj b/extendj index 7847dd2..1492d4d 160000 --- a/extendj +++ b/extendj @@ -1 +1 @@ -Subproject commit 7847dd21616ab88abed98c2b8c27aefcbdc7c888 +Subproject commit 1492d4de8bcb5e641ca4010f5b180c3d9966205e -- GitLab