diff options
Diffstat (limited to 'plugins/setoid_ring/vo.itarget')
| -rw-r--r-- | plugins/setoid_ring/vo.itarget | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/setoid_ring/vo.itarget b/plugins/setoid_ring/vo.itarget index cccd21855d..c4a21fd6aa 100644 --- a/plugins/setoid_ring/vo.itarget +++ b/plugins/setoid_ring/vo.itarget @@ -20,4 +20,4 @@ Cring_tac.vo Ring2.vo Ring2_polynom.vo Ring2_initial.vo -Ring2_tac.vo
\ No newline at end of file +Ring2_tac.vo |