Skip to content
GitLab
Closed
Issue created by Côme Chilliet@cchillietReporter

Terminal tabs should be using simple plugin

(from redmine: issue id 1590, created on 2012-11-26, closed on 2013-04-02)

  • Changesets:
    • Revision 42f4b970 by Benoit MORTIER on 2012-11-26T11:17:30.000Z:
Fixes: #1590 Terminal tabs should be using simple plugin
  • Revision 1b461f62 by Benoit MORTIER on 2012-12-19T11:29:54.000Z:
Fixes: #1590 Terminal tabs should be using simple plugin
  • Revision f5c1b145 by Benoit MORTIER on 2012-12-20T10:50:03.000Z:
Fixes: #1590 Terminal tabs should be using simple plugin