Kosta Harlan 235bde9628 docs: Remove unneeded ignored directories ... npm run doc outputs generated files in docs/frontend/ directory rather than documentation/frontend/dist. All generated files under docs/frontend are already ignored in docs/.gitignore. Change-Id: I2b9db6ba7885edd7e9ce0c748472c22afdc729ce		2023-02-22 11:53:37 +00:00
..
.gitignore	docs: Remove unneeded ignored directories	2023-02-22 11:53:37 +00:00