From aa2c7727b1ee7b3747681f6b78f9ef0d36beb749 Mon Sep 17 00:00:00 2001 From: Jakob Kaivo Date: Sat, 2 Feb 2019 13:12:59 -0500 Subject: trim old nonstd --- src/9899-1999 | 1 + 1 file changed, 1 insertion(+) create mode 160000 src/9899-1999 (limited to 'src/9899-1999') diff --git a/src/9899-1999 b/src/9899-1999 new file mode 160000 index 00000000..4de20b5b --- /dev/null +++ b/src/9899-1999 @@ -0,0 +1 @@ +Subproject commit 4de20b5bb125f997db296e3c4be8b300ce578dd6 -- cgit v1.2.1