tree fe91eb7df1e400e3109f779710be76c63281b57c
parent 337813633c41a10ba445b0793c60a437bffca026
author Kevin Moore <kevmoo@google.com> 1553025076 -0700
committer Kevin Moore <kevmoo@users.noreply.github.com> 1553100342 -0700

Eliminate gratuitous part file

Might as well have everything in one file