mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
eb129428a9
(the following is the original commit message) The last step is pretty simple. All that's left to do is to take the ordered edge container and to `append` their points to their `Path`