diff options
Diffstat (limited to 'plugins/pluginsvo.itarget')
| -rw-r--r-- | plugins/pluginsvo.itarget | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/plugins/pluginsvo.itarget b/plugins/pluginsvo.itarget new file mode 100644 index 00000000..db56534c --- /dev/null +++ b/plugins/pluginsvo.itarget @@ -0,0 +1,13 @@ +dp/vo.otarget +field/vo.otarget +fourier/vo.otarget +funind/vo.otarget +nsatz/vo.otarget +micromega/vo.otarget +omega/vo.otarget +quote/vo.otarget +ring/vo.otarget +romega/vo.otarget +rtauto/vo.otarget +setoid_ring/vo.otarget +extraction/vo.otarget
\ No newline at end of file |