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

MD5: 4b56dab0a754806597ec6e0864a61d3d

Introduced 8 yr 7 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