diff options
| author | Pieter-Jan Briers <pieterjan.briers+git@gmail.com> | 2018-12-26 16:20:31 +0100 |
|---|---|---|
| committer | Pieter-Jan Briers <pieterjan.briers+git@gmail.com> | 2019-01-04 18:12:24 +0100 |
| commit | c93c279867561b01cfc4b041b81402e4907d785b (patch) | |
| tree | 308cb93cfc4475b51bfa5fb43cd03b9624cf9a7b /platform | |
| parent | 10e9221c49eddc05cb36c0b582060cac9e4c8cef (diff) | |
Improve documentation of Control.
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions