← Back to branch summary

~ubuntu-desktop/gnome-terminal/ubuntu

Viewing all changes in revision 138.

  • Committer: Iain Lane
  • Date: 2014-11-13 15:29:25 UTC
  • mfrom: (135.1.2 ubuntu)
  • Revision ID: iain.lane@canonical.com-20141113152925-xvji7z3mf8752ovm
Enable gnome-shell provider by copying the interface

Modified to do what Debian does where possible.

Merge lp:~darkxst/gnome-terminal/shell-search

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: