org.eclipse.dirigible:dirigible-ide-ui-terminal 5.12.16

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

// https://jarcasting.com/artifacts/org.eclipse.dirigible/dirigible-ide-ui-terminal/
implementation 'org.eclipse.dirigible:dirigible-ide-ui-terminal:5.12.16'

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

'org.eclipse.dirigible:dirigible-ide-ui-terminal:jar:5.12.16'

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

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

libraryDependencies += "org.eclipse.dirigible" % "dirigible-ide-ui-terminal" % "5.12.16"

[org.eclipse.dirigible/dirigible-ide-ui-terminal "5.12.16"]