wm/notes.txt

2 lines
140 B
Plaintext
Raw Normal View History

2021-05-19 22:57:45 +03:00
Definition of a bend: ends of the line should always be bends, otherwise not all line vertices are covered by bends (definition elsewhere).