Cells no longer selectable after being proven.

Bram28 / LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

GNU Affero General Public License v3.0

2 stars 8 forks source link

Closed sinhac closed 6 years ago

sinhac commented 6 years ago

Fixed issue of still having modifiable cells after cell has been proven. Removed unnecessary @param statements.