Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'develop-remove-unusedResources' into develop. Close #174.
**Description** The repository contains unused images under `docs`, even though the images used are all under a branch `gh-pages`. **Type** - Management: Remove unused resources. **Additional context** None. **Requester** - Ivan Perez. **Method to check presence of bug** Not applicable (not a bug). **Expected result** No files are included under `docs`. **Solution implemented** Remove the `docs` directory. **Further notes** None.
- Loading branch information