| commit | 76baf88e75e90bdf9683155763547538e8ad8aba | [log] [tgz] |
|---|---|---|
| author | Erik Brangs <erik.brangs@gmx.de> | Sat Dec 17 17:09:32 2022 +0100 |
| committer | Nitin Dahyabhai <thatnitind@gmail.com> | Sat Jan 07 20:35:42 2023 -0500 |
| tree | 69883cb713de883ab99a44e42a70d9d261434fa4 | |
| parent | 9b1f7a1f0d7bf9d377b7d0ef605b5712b2b078c3 [diff] |
Bug 581258 - Clean up org.eclipse.jst.pagedesigner.editors.pagedesigner.DelegatingZoomManager Change-Id: Id44915e595f783b7a55f9a0dff3fc4f994c004d1