5 years ago Stefan Sperling
generalize the pathset's path comparison function
add got_pathset API which manages a tree of paths