| commit | 783efbfc4824581d7f5b73ff21e800f506bb5e11 | [log] [tgz] |
|---|---|---|
| author | Wladimir J. van der Laan <laanwj@gmail.com> | Thu Nov 09 12:01:41 2017 +0100 |
| committer | GitHub <noreply@github.com> | Thu Nov 09 12:01:41 2017 +0100 |
| tree | f509dd3ef6913a931617d5311956ef70ef879284 | |
| parent | 86eaf4a6b61acd930a5d25dcbe18cbd62b108d4b [diff] | |
| parent | 9c0d098a8a8eb1991f96170f3a03dc9cc69e0eab [diff] |
Merge pull request #1 from AgentD/master Actually cycle through GPU IDs in find_suitable_gpu