tree 356010106b185909e797edbfd8e996a00e61c0e9
parent 715a4c41043bdf814b7b8f9ea9231cdb36fdf14c
author Ray Milkey <ray.milkey@gmail.com> 1659472061 -0700
committer Ray Milkey <ray.milkey@gmail.com> 1659472061 -0700

Use python3 for the mininet entry point

Change-Id: Idfaff80c3638c8aad7a8affa40ae480aaf9d40ca