diff options
| author | Dani Megert | 2016-01-27 08:40:21 +0000 |
|---|---|---|
| committer | Dani Megert | 2016-01-27 08:40:21 +0000 |
| commit | 10aeaf896c50b34fb8ddd90b3bdd17ff95b5a30e (patch) | |
| tree | e3ac65fb04161ab4fd679e73611deb124b289601 /org.eclipse.ui.workbench.texteditor/plugin.xml | |
| parent | e8509b3b2fa5639d0328db6fa6aed9e5ad1e1f28 (diff) | |
| download | eclipse.platform.text-10aeaf896c50b34fb8ddd90b3bdd17ff95b5a30e.tar.gz eclipse.platform.text-10aeaf896c50b34fb8ddd90b3bdd17ff95b5a30e.tar.xz eclipse.platform.text-10aeaf896c50b34fb8ddd90b3bdd17ff95b5a30e.zip | |
FUP to bug 486532: don't use bold inside textI20160127-0800
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/plugin.xml')
0 files changed, 0 insertions, 0 deletions