-
Tiago Peixoto authored
Now properties can be copied from vertices which are not identical (e.g. from unfiltered to filtered graphs, etc). This fixes a problem with graph copying and pruning, where the properties were not correclty copied.
51195c11
Now properties can be copied from vertices which are not identical (e.g. from unfiltered to filtered graphs, etc). This fixes a problem with graph copying and pruning, where the properties were not correclty copied.