railroad, rm extra br in manual

Authored by timotheegiet on May 17 2020, 10:25 AM.

Description

railroad, rm extra br in manual

Details

Committed
timotheegietMay 17 2020, 10:25 AM
Parents
R2:c1725fb7a9eb: graph-coloring, add manual
Branches
Unknown
Tags
Unknown