ok

History

sensor; default tip

2019-12-27, by RoddyRod [Fri, 27 Dec 2019 16:01:26 +0000] rev 0

sensor;