Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The dirty flag can also still be set by some legacy functions triggered by the agents and obstacles.
- Loading branch information