jvoisin 2a7e3cb846 Fix the boldness of the main submenu ...

This should close #1424

2020-01-05 17:02:44 +01:00

..

src

Fix the boldness of the main submenu

2020-01-05 17:02:44 +01:00

cve-suppressed.xml

Suppress CVE-2019-12418

2020-01-03 23:59:28 +01:00

pom.xml

Translated xml configuration to java configuration

2019-11-23 13:23:09 -07:00