public void SaveWorld(PagedWorld world, Stream stream) { world.Save(stream); }
public void SaveWorld( PagedWorld world, Stream stream ) { world.Save( stream ); }
public void SaveWorld(PagedWorld world, string fileName) { world.Save(fileName); }
public void SaveWorld( PagedWorld world, string fileName ) { world.Save( fileName ); }