org.eclipse.jetty:jetty-servlets-8.1.12.v20130726.jar

MD5: f72171b83c661e1d4fc861d636d4155c

Introduced 8 yr 1 mo ago outside Jenkins

Usage

This file has been used in the following places:

ORE	#241-#247
ORE/org.aksw.ore:ore-ui	#45 -#48 #50 #51 #53 - #69 #71 - #81 #87 - #101 #103 - #113 #116 - #173 #195 - #205 #208 - #213 #220 -#247