commit 7840d7b335848fd38746ac24252b17ecb49e556e
author Tobias Wölfel <tobias.woelfel@mailbox.org> Mon Oct 07 12:29:33 2019 +0200
committer Tobias Woelfel <towoe@users.noreply.github.com> Thu Oct 24 08:17:09 2019 +0200
tree 06221d3afbff6ff9043de8c878d6b163ecd99047
parent fb1f1b8bfbd7d6539bdf469d1f0789cefde27d25

Remove names from TODO

Github issues are used to track comments which need more explanation.

The following issue is linked:
https://github.com/lowRISC/opentitan/issues/160

util/build_docs.py

diff --git a/util/build_docs.py b/util/build_docs.py
index b1fe566..00389b0 100755
--- a/util/build_docs.py
+++ b/util/build_docs.py
@@ -38,7 +38,7 @@
 HJSON_EXTENSIONS = ['.hjson']
 
 # Configurations
-# TODO(eunchan): Move to config.yaml
+# TODO: Move to config.yaml
 SRCTREE_TOP = Path(__file__).parent.joinpath('..').resolve()
 config = {
     # Toplevel source directory