Created on 2020-01-31.20:05:01 by cmeerw, last changed 51 months ago by cmeerw.
waypoint marker should be smaller, particularly when there are lots of waypoints to display
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2020-01-31 20:22:03 | cmeerw | set | versions: + 1.7, - head |
| 2020-01-31 20:05:01 | cmeerw | create | |