1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-19 06:55:23 +02:00
cdt/terminal/plugins/org.eclipse.tm.terminal.view.ui/about.mappings
Jonah Graham 926ff8cdee Bug 559474: Provide unique branding plug-in for each feature
It has been that org.eclipse.tm.terminal.view.feature and
org.eclipse.tm.terminal.feature shared the same feature plugin, which
meant they could not have their own branding.

Change-Id: I5bc48902c0ee93796fd4df7f847a39529bca3f7f
2020-01-31 13:15:51 -05:00

9 lines
310 B
Text

# about.mappings
# contains fill-ins for about.properties
# java.io.Properties file (ISO 8859-1 with "\" escapes)
# This file does not need to be translated.
# The following should contain the build version.
# e.g. "0=20200106-1728"
# This value will be added automatically via the build scripts
0=${buildId}