tree 65f38b27f20dd47479ac1c50e3d79b035562d671
parent 86644d36ff59764fe64d26fdebba71634d6d0332
author Eric Newberry <enewberry@cs.ucla.edu> 1617595772 -0700
committer Davide Pesavento <davidepesa@gmail.com> 1617661004 -0400

docs+tests: finalize migration to typed naming conventions

refs #5044

Change-Id: Ia6f52ae0a31db33ca0f9fa6c4553b8fbbc7809bc