| commit | 27095c0a4a1de4e880f89c70cfa9736f6018c329 | [log] [tgz] |
|---|---|---|
| author | Gyorgy Szing <Gyorgy.Szing@arm.com> | Fri Nov 25 11:37:50 2022 +0100 |
| committer | Gyorgy Szing <Gyorgy.Szing@arm.com> | Thu Dec 01 03:28:45 2022 +0100 |
| tree | 7199a7f03bf2b209dbd672fb75432fc9b4b5e6a7 | |
| parent | bf8a5fc3a723a8d4182a205018e2bba109113462 [diff] |
Doc: remove the todo plugin Remove the sphinx todo plugin as managing a task list in the documentation is confusing and inefficient. Change-Id: I08912ac636c098865f187cef232cfb5f314a6d4d Signed-off-by: Gyorgy Szing <Gyorgy.Szing@arm.com>