GitHub repository: rubencaro/gedit_grepint
Primary language: Python
Description: Grep interface plugin for Gedit