diff options
| author | Kieran Bingham <kieran.bingham@ideasonboard.com> | 2021-07-27 16:10:53 +0100 |
|---|---|---|
| committer | Kieran Bingham <kieran.bingham@ideasonboard.com> | 2021-08-25 21:35:03 +0100 |
| commit | fe8b72a595c1c0e437a42b23410bbd24b19427fe (patch) | |
| tree | 917dd8dd6934e59cff46071e0591fde8e13e4ddd /Documentation/theme/search.html | |
| parent | 5c624e556179176b92084a989f59cca36626fab8 (diff) | |
Documentation: application-developer: Remove irrelevant TODO
This TODO has no real meaning, and isn't an action. Remove it.
Reviewed-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Signed-off-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to 'Documentation/theme/search.html')
0 files changed, 0 insertions, 0 deletions