summaryrefslogtreecommitdiff
path: root/src/gnome-terminal-search-provider.ini
Commit message (Expand)AuthorAgeFilesLines
* data: Rename desktop fileDebarshi Ray2015-11-141-1/+1
* server: Add a search providerDebarshi Ray2014-01-271-0/+20