[gedit-plugins] [commander] Use integer division

[Jesse van den Kieboom <jessevdk src gnome org>]

commit b5e3495a872b69a8fd07a84204363f3b0bfaacd6
Author: Jesse van den Kieboom <jessevdk gmail com>
Date:   Wed Jan 22 20:04:00 2014 +0100

    [commander] Use integer division

 plugins/commander/modules/find/regex.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/commander/modules/find/regex.py b/plugins/commander/modules/find/regex.py
index be8540e..b05326a 100644
--- a/plugins/commander/modules/find/regex.py
+++ b/plugins/commander/modules/find/regex.py
@@ -145,7 +145,7 @@ class SemanticFinder(RegexFinder):
         ret = []
 
         for i in range(len(groups)):
-            ri = i / 2
+            ri = i // 2
 
             if i % 2 == 0:
                 if ri >= len(self.replaceparts):