diff options
| author | Pierre-Marie Pédrot | 2015-12-28 15:42:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-12-28 15:42:16 +0100 |
| commit | a4cc4ea007b074009bea485e75f7efef3d4d25f3 (patch) | |
| tree | 9a0cc9b250c44a30f0fa96d0f2cf088445a4187e /plugins/setoid_ring | |
| parent | 9af1d5ae4dbed8557b5c715a65f2742c57641f52 (diff) | |
Removing unused parsing entries.
Diffstat (limited to 'plugins/setoid_ring')
0 files changed, 0 insertions, 0 deletions