Revision 6fd9945c
ID | 6fd9945c760b18c39c5f781f6b79fabfe26580ea |
Parent | 8d586a9c |
Child | 2f3db3cd |
prepare for multiple topology manager implementations
Files
- added
- modified
- copied
- renamed
- deleted
ID | 6fd9945c760b18c39c5f781f6b79fabfe26580ea |
Parent | 8d586a9c |
Child | 2f3db3cd |
Added by Marco Biazzini about 10 years ago
prepare for multiple topology manager implementations