From a4c7f8bd98be2a200489325ff7c5061cf80ab4f3 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 27 Dec 2016 16:53:30 +0100 Subject: Imported Upstream version 8.6 --- plugins/syntax/nat_syntax_plugin.mllib | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 plugins/syntax/nat_syntax_plugin.mllib (limited to 'plugins/syntax/nat_syntax_plugin.mllib') diff --git a/plugins/syntax/nat_syntax_plugin.mllib b/plugins/syntax/nat_syntax_plugin.mllib deleted file mode 100644 index 69b0cb20..00000000 --- a/plugins/syntax/nat_syntax_plugin.mllib +++ /dev/null @@ -1,2 +0,0 @@ -Nat_syntax -Nat_syntax_plugin_mod -- cgit v1.2.3