François-Xavier ThomasandGitHub dc5a3020d3 Merge pull request #1455 from jvoisin/fix_bold_submenu ...

Fix the boldness of the main submenu

2020-01-09 20:59:19 +01:00

..

src

Merge pull request #1455 from jvoisin/fix_bold_submenu

2020-01-09 20:59:19 +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