From 4476f64dc87fb86738fc4c9f939113b70843c035 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Fri, 18 Sep 2020 14:15:18 +0200
Subject: {new,setoid_}ring -> ring

I believe this renaming makes it easier for new contributors to discover
the code of `ring`.
---
 plugins/ring/ring_plugin.mlpack | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 plugins/ring/ring_plugin.mlpack

(limited to 'plugins/ring/ring_plugin.mlpack')

diff --git a/plugins/ring/ring_plugin.mlpack b/plugins/ring/ring_plugin.mlpack
new file mode 100644
index 0000000000..91d7199f9b
--- /dev/null
+++ b/plugins/ring/ring_plugin.mlpack
@@ -0,0 +1,3 @@
+Ring_ast
+Ring
+G_ring
-- 
cgit v1.2.3