diff options
| author | Pierre Letouzey | 2017-03-21 16:13:24 +0100 |
|---|---|---|
| committer | Jason Gross | 2018-08-31 20:05:53 -0400 |
| commit | ec0ad20de8daf2ad9f3237de92a745247db845f5 (patch) | |
| tree | 4b43994be9699398ef3182764681d5287a20806b /plugins/syntax/positive_syntax_plugin.mlpack | |
| parent | 24ccc118ccfb4c1223cd37bd43c9d26a77851176 (diff) | |
remove legacy syntax plugins subsumed by Numeral Notation
Diffstat (limited to 'plugins/syntax/positive_syntax_plugin.mlpack')
| -rw-r--r-- | plugins/syntax/positive_syntax_plugin.mlpack | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/syntax/positive_syntax_plugin.mlpack b/plugins/syntax/positive_syntax_plugin.mlpack deleted file mode 100644 index ac8f3c425c..0000000000 --- a/plugins/syntax/positive_syntax_plugin.mlpack +++ /dev/null @@ -1 +0,0 @@ -Positive_syntax |