Revision e8238d18
ID | e8238d185d271ee301885b6ce8354ccb5299393a |
Parent | 54c51c02 |
Child | 01e0758e |
Use Mininet version number from mininet.net
Contributing toward issue #46.
Files
- added
- modified
- copied
- renamed
- deleted
ID | e8238d185d271ee301885b6ce8354ccb5299393a |
Parent | 54c51c02 |
Child | 01e0758e |
Added by Bob Lantz over 8 years ago
Use Mininet version number from mininet.net
Contributing toward issue #46.