From c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Wed, 24 May 2017 11:14:51 -0400 Subject: Remove mmm and ML4PG contribs and remove references to them in code and docs --- contrib/ML4PG/libs/ssreflect/jvm/m1_names | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 contrib/ML4PG/libs/ssreflect/jvm/m1_names (limited to 'contrib/ML4PG/libs/ssreflect/jvm/m1_names') diff --git a/contrib/ML4PG/libs/ssreflect/jvm/m1_names b/contrib/ML4PG/libs/ssreflect/jvm/m1_names deleted file mode 100644 index b4b885f6..00000000 --- a/contrib/ML4PG/libs/ssreflect/jvm/m1_names +++ /dev/null @@ -1,3 +0,0 @@ -1 step_opener -2 run_app -3 run_opener -- cgit v1.2.3