tree dd90dfdd19d155d255f9bdd503bcbc36c46862b5
parent 25cb0cbb29da2d2829b6a2d30557624385fedacc
author Mateusz Matela <mateusz.matela@gmail.com> 1636656121 +0100
committer Mateusz Matela <mateusz.matela@gmail.com> 1640519178 -0500

Bug 577217 - [formatting] Add formatting setting for whitespace in
permits clause - UI

Change-Id: I59aded4ca098147a6c34d90cabb681eff92b1424
Signed-off-by: Mateusz Matela <mateusz.matela@gmail.com>
Reviewed-on: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/187653
Tested-by: JDT Bot <jdt-bot@eclipse.org>