Ulf Gebhardt bedb75dce0

remove github specific config ...

Since the page is now deployed to an external host and no longer
utilizes github pages, this is not required.

2025-02-17 01:48:42 +01:00

..

config

disable pageinfo in theme config

2025-01-31 08:33:43 +01:00

public

include favicon

2023-11-06 15:35:49 +01:00

config.js

correctly use bundle option now required

2024-01-29 14:21:19 +01:00