Cleanup #1491: Update documentation of GPUManager30/3330/16
commitc925ff9485b53e906d8e88e1d3cc550425a808aa
authorJaemin Choi <jchoi157@illinois.edu>
Mon, 27 Nov 2017 21:53:18 +0000 (27 15:53 -0600)
committerJaemin Choi <jchoi157@illinois.edu>
Tue, 25 Sep 2018 04:49:59 +0000 (24 23:49 -0500)
tree123d2470b7a1f6b91d36526056aa1aae9c1a9db3
parent38a875b1463cb7d37e73b484252efce4b377479e
Cleanup #1491: Update documentation of GPUManager

Change-Id: I9d1fc90f8556c14b868015fa2fc0ea127c439c3d
doc/libraries/gpumanager.tex