diff options
author | Eduardo Julian | 2021-01-13 17:42:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-01-13 17:42:20 -0400 |
commit | ae56acf791c2ed9bd5865f85fffa00b025d310fe (patch) | |
tree | d02c6f67240b27c578b7e8ca17285824eae56497 /stdlib/source/program/aedifex/artifact/time.lux | |
parent | 71de092a045dc70ab1c9eead477cf1512b144a87 (diff) |
Removed the (ultimately redundant) on_stop function for actors.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions