GroupId | GroupIdio.github.dheid |
---|---|
ArtifactId | ArtifactIdservlet-prefs |
Version | Version3.3.0 |
Type | Typejar |
Filename | Size |
---|---|
servlet-prefs-3.3.0.pom | |
servlet-prefs-3.3.0.jar | 15 KB |
servlet-prefs-3.3.0-sources.jar | 9 KB |
servlet-prefs-3.3.0-javadoc.jar | 34 KB |
Browse |
<!-- https://jarcasting.com/artifacts/io.github.dheid/servlet-prefs/ -->
<dependency>
<groupId>io.github.dheid</groupId>
<artifactId>servlet-prefs</artifactId>
<version>3.3.0</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.dheid/servlet-prefs/
implementation 'io.github.dheid:servlet-prefs:3.3.0'
// https://jarcasting.com/artifacts/io.github.dheid/servlet-prefs/
implementation ("io.github.dheid:servlet-prefs:3.3.0")
'io.github.dheid:servlet-prefs:jar:3.3.0'
<dependency org="io.github.dheid" name="servlet-prefs" rev="3.3.0">
<artifact name="servlet-prefs" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.dheid', module='servlet-prefs', version='3.3.0')
)
libraryDependencies += "io.github.dheid" % "servlet-prefs" % "3.3.0"
[io.github.dheid/servlet-prefs "3.3.0"]