Run the server on the `docs` folder#1865

Merged

Panquesito7 merged 1 commit intodevelopfrom

panquesito7/improve/gitpod_config

Sep 3, 2023

Commits on Aug 31, 2023

Run server on the `docs` folder
Panquesito7
committed