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-1990 | 1 - 1 file changed, 1 deletion(-) delete mode 160000 src/9899-1990 (limited to 'src/9899-1990') diff --git a/src/9899-1990 b/src/9899-1990 deleted file mode 160000 index e98afb5e..00000000 --- a/src/9899-1990 +++ /dev/null @@ -1 +0,0 @@ -Subproject commit e98afb5e3575253054d775d7379ed5000c7ac980 -- cgit v1.2.1