wm/notes.txt

2 lines
140 B
Plaintext

Definition of a bend: ends of the line should always be bends, otherwise not all line vertices are covered by bends (definition elsewhere).