Florian f5ef267d02 [DOCS] Move base outside of ThemeConfig (#1354)

2022-12-09 09:15:20 -06:00

..

public

[DOC] Configure the favicon properly (#1195)

2022-04-04 17:36:03 -05:00

config.js

[DOCS] Move base outside of ThemeConfig (#1354)

2022-12-09 09:15:20 -06:00