-
Martin Quinson authored
more functions in the API, don't help users but mess them up - In python: - remove this_actor.kill(pid) - bind Actor.by_pid(pid) - remove this_actor.kill_all(), we have Actor.kill_all() - In C++: - deprecate s4u::Actor::kill(pid) - Various docstrings improvements
cdac5066