[JIRA] [core] (JENKINS-20219) Plugin Manager » Installed should have a Filter box

Wed, 11 Dec 2013 11:07:25 -0800

dogfood commented on Improvement JENKINS-20219

Integrated in jenkins_main_trunk #3101
[FIXED JENKINS-20219] Filter for installed plugins (Revision 69ff77d43c0c9c4d2ad76aafb2eb811ecc7e1bd2)
JENKINS-20219 Noting #1048. (Revision 554e4a6aa283cf24a25d2a5fc36af1f9947990ce)

Result = SUCCESS
iplaman : 69ff77d43c0c9c4d2ad76aafb2eb811ecc7e1bd2
Files :

  • core/src/main/resources/hudson/PluginManager/installed.jelly

Jesse Glick : 554e4a6aa283cf24a25d2a5fc36af1f9947990ce
Files :

  • changelog.html
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira

--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to