diff options
author | Till Brychcy | 2018-07-24 19:04:06 +0000 |
---|---|---|
committer | Till Brychcy | 2018-07-24 19:06:01 +0000 |
commit | c57ecc40192949a008423009363558df39cf5452 (patch) | |
tree | 165e75dc50ddb3f12bf2489d432fe75484ae8d19 /.project | |
parent | 48b6ff06a9c54785da546d02846a8060337de7ee (diff) | |
download | eclipse.platform.text-Y20180725-2200.tar.gz eclipse.platform.text-Y20180725-2200.tar.xz eclipse.platform.text-Y20180725-2200.zip |
Bug 321410 - [EditorMgmt][navigation] Provide Mini-map of text in editorY20180725-2200I20180725-2000
Change-Id: Ieebad527d54f73ba7d61fe0754d14158f1ace8a3
Signed-off-by: Till Brychcy <register.eclipse@brychcy.de>
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions