Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We only need it for the generation -> useless to store it. It slows creation of locations for no value. If we need to search on it, we can use a search method.
- Loading branch information