additionals/assets
2022-08-07 08:11:50 +02:00
..
images Switch from gemoji to tanuki_emoji 2022-04-10 13:45:24 +02:00
javascripts drop filterAdditionalsFormatState and use formatNameWithIcon 2022-08-07 08:11:50 +02:00
stylesheets Provide chartjs matrix plugin 2022-04-16 08:14:52 +02:00
webfonts update to Font Awesome Free 5.15.4 2021-08-21 13:20:09 +02:00