diff options
Diffstat (limited to 'plugins/pluginsbyte.itarget')
| -rw-r--r-- | plugins/pluginsbyte.itarget | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/pluginsbyte.itarget b/plugins/pluginsbyte.itarget index 04cbdccb01..e6b0449066 100644 --- a/plugins/pluginsbyte.itarget +++ b/plugins/pluginsbyte.itarget @@ -1,3 +1,4 @@ +btauto/btauto_plugin.cma field/field_plugin.cma setoid_ring/newring_plugin.cma extraction/extraction_plugin.cma |