Skip to content

Commit e7bcc6e

Browse files
committed
Modified readme.
1 parent 8b5e17d commit e7bcc6e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ The Sokoban Editor is a planning as satisfiability solver for Sokoban. It based
55
The editor can solve a given level ***optimally*** using the Yices SMT.
66

77
## Installation
8-
Download the latest version from the [release page](https://github.com/GerardMT/Sokoban-Editor/releases) or [build](https://github.com/GerardMT/Sokoban-Editor##build) the project.
8+
Download the latest version from the [release page](https://github.com/GerardMT/Sokoban-Editor/releases) or [build](https://github.com/GerardMT/Sokoban-Editor#build) the project.
99

1010
The editor requires at least Java SE 11.
1111

0 commit comments

Comments
 (0)