| commit | f471a2a272b58fb5e67b1d529d595cc75a9fb163 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Fri Feb 04 13:25:14 2022 +0100 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Fri Feb 04 13:28:52 2022 +0100 |
| tree | 1806db9686c2854b267ae0a2dc389685ac814931 | |
| parent | 433436f5278124361e77e63d1060f6497f2c31e0 [diff] |
Change nav label to Eclipse StatET