# This file is generated by favicons.js at build-time:
favicon.ico