2 commits

Author	SHA1	Message	Date
yflory	7d2a1b35ae	Add missing .ico favicon for the diagram app	2023-07-18 13:08:15 +02:00
Ahmed Mazen	6d41d64cb8	create a script to convert images to ico; convert pngs to icos ... Basically, all this commit does is create and execute a script (`./customize.dist/favicon/convert.sh`) that uses ImageMagick to convert various PNGs to ICOs(the format of favicon). It also adds the favicons to the HTML document through `./www/common/notify.js`.	2023-06-29 08:32:51 +08:00