Revision f6d28931
| ID | f6d28931e926f8c41398fce00b1a184902911e2a |
| Parent | 16ae4927 |
| Child | b4419dd1 |
topology: fix remove code
should have worked also before, but it was operating in a larger
set than needed
Files
- added
- modified
- copied
- renamed
- deleted
| ID | f6d28931e926f8c41398fce00b1a184902911e2a |
| Parent | 16ae4927 |
| Child | b4419dd1 |
Added by Csaba Kiraly about 10 years ago
topology: fix remove code
should have worked also before, but it was operating in a larger
set than needed