org.eclipse.dirigible:dirigible-ide-ui-operations 5.12.13

<!-- https://jarcasting.com/artifacts/org.eclipse.dirigible/dirigible-ide-ui-operations/ -->
<dependency>
    <groupId>org.eclipse.dirigible</groupId>
    <artifactId>dirigible-ide-ui-operations</artifactId>
    <version>5.12.13</version>
</dependency>

// https://jarcasting.com/artifacts/org.eclipse.dirigible/dirigible-ide-ui-operations/
implementation 'org.eclipse.dirigible:dirigible-ide-ui-operations:5.12.13'

// https://jarcasting.com/artifacts/org.eclipse.dirigible/dirigible-ide-ui-operations/
implementation ("org.eclipse.dirigible:dirigible-ide-ui-operations:5.12.13")

'org.eclipse.dirigible:dirigible-ide-ui-operations:jar:5.12.13'

<dependency org="org.eclipse.dirigible" name="dirigible-ide-ui-operations" rev="5.12.13">
  <artifact name="dirigible-ide-ui-operations" type="jar" />
</dependency>

@Grapes(
@Grab(group='org.eclipse.dirigible', module='dirigible-ide-ui-operations', version='5.12.13')
)

libraryDependencies += "org.eclipse.dirigible" % "dirigible-ide-ui-operations" % "5.12.13"

[org.eclipse.dirigible/dirigible-ide-ui-operations "5.12.13"]