Example showing how to use set_time().

History

First release default tip

2019-03-13, by RalphF [Wed, 13 Mar 2019 19:45:12 +0000] rev 0

First release