Skip to content
Snippets Groups Projects
Commit 63161726 authored by Martijn Pieters's avatar Martijn Pieters
Browse files

graphmod: avoid sorting when already sorted

This is somewhat redundant now, but allows us to add a toposort that should not
be re-sorted either.
parent ecc9b788
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment