Skip to content
This repository has been archived by the owner on Sep 9, 2020. It is now read-only.

Update docs/the-solver.md #2251

Closed
wants to merge 1 commit into from
Closed

Update docs/the-solver.md #2251

wants to merge 1 commit into from

Commits on Aug 19, 2020

  1. Update docs/the-solver.md 

    Removes reference to closed issue #902 


```markdown
> Note: dep does not currently enforce this rule, but [it needs to](#902).
```
    @MaerF0x0
    MaerF0x0 committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    9edd053 View commit details
    Browse the repository at this point in the history