Remove stale "TODO".
authorM. Eric Irrgang <ericirrgang@gmail.com>
Mon, 8 Apr 2019 15:23:40 +0000 (18:23 +0300)
committerM. Eric Irrgang <ericirrgang@gmail.com>
Mon, 8 Apr 2019 15:23:40 +0000 (18:23 +0300)
commit0c01697cb1daf82a600870afc6ae5a1a01ea3a5d
tree5c118aefe2e04f24057d9b6dee35d8600198a646
parent521bc606671820133b8188ed1a5a54879ab209bc
Remove stale "TODO".

Refs #2839

Change-Id: I927ee73fc9c6ffa423d37fd4606654392cb8a1b8
docs/dev-manual/naming.rst