License |
License
MIT
|
---|---|
Categories |
CategoriesJavaScript Languages KeY Data Data Formats Formal Verification |
GroupId | GroupIdorg.webjars.npm |
ArtifactId | ArtifactIdhotkeys-js |
Last Version | Last Version3.8.5 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionhotkeys-js
WebJar for hotkeys-js
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
hotkeys-js-3.8.5.pom | |
hotkeys-js-3.8.5.jar | 31 KB |
hotkeys-js-3.8.5-sources.jar | 22 bytes |
hotkeys-js-3.8.5-javadoc.jar | 22 bytes |
Browse |
<!-- https://jarcasting.com/artifacts/org.webjars.npm/hotkeys-js/ -->
<dependency>
<groupId>org.webjars.npm</groupId>
<artifactId>hotkeys-js</artifactId>
<version>3.8.5</version>
</dependency>
// https://jarcasting.com/artifacts/org.webjars.npm/hotkeys-js/
implementation 'org.webjars.npm:hotkeys-js:3.8.5'
// https://jarcasting.com/artifacts/org.webjars.npm/hotkeys-js/
implementation ("org.webjars.npm:hotkeys-js:3.8.5")
'org.webjars.npm:hotkeys-js:jar:3.8.5'
<dependency org="org.webjars.npm" name="hotkeys-js" rev="3.8.5">
<artifact name="hotkeys-js" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.webjars.npm', module='hotkeys-js', version='3.8.5')
)
libraryDependencies += "org.webjars.npm" % "hotkeys-js" % "3.8.5"
[org.webjars.npm/hotkeys-js "3.8.5"]