public void deleteManager(ORSResourceManager manager) { managers.Remove(manager.getVessel()); }
public void deleteManager(ORSResourceManager manager) { managers.Remove(manager.getVessel()); }
public void deleteManager(ORSResourceManager manager) { managers.Remove(manager.getVessel()); }
public void deleteManager(ORSResourceManager manager) { managers.Remove(manager.getVessel()); }