Adam 282eab1a4c party: remove overlay ...

This is rarely used because the information is duplicated in the panel, and not very useful. Also the toggling behavior is confusing to people.

2022-05-27 14:45:09 -04:00

..

src

party: remove overlay

2022-05-27 14:45:09 -04:00

pmd-ruleset.xml

client: update pmd

2022-04-24 13:46:42 -04:00

pom.xml

Bump for 1.8.22-SNAPSHOT

2022-05-26 10:50:34 +00:00