Eike 2f154146cb Merge remote-tracking branch 'origin/current-docs'

2024-04-25 14:12:28 +02:00

..

adr

Fix external link in docs

2023-11-13 17:06:39 +01:00

_index.md

Initial website

2020-07-30 20:33:26 +02:00

add-language.md

Also including a minor documentation update for JpnVert

2024-02-23 00:21:52 +09:00

building.md

Website redesign

2022-02-03 21:42:09 +01:00

development.md

Document flake dev setup

2024-03-10 15:37:16 +01:00

documentation.md

Add page to website about contributing to docs (#2612)

2024-04-25 14:11:10 +02:00

translation.md

Update documentation

2022-04-14 21:54:46 +02:00