tree 7199a7f03bf2b209dbd672fb75432fc9b4b5e6a7
parent bf8a5fc3a723a8d4182a205018e2bba109113462
author Gyorgy Szing <Gyorgy.Szing@arm.com> 1669372670 +0100
committer Gyorgy Szing <Gyorgy.Szing@arm.com> 1669861725 +0100

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>