-
Fenglei authored
* reset workspace manager after use * use unique_ptr for pass memory manager
dc45b5ac
| Name |
Last commit
|
Last update |
|---|---|---|
| .ci | ||
| cmake | ||
| contrib/docker | ||
| doc | ||
| licenses | ||
| maint | ||
| python | ||
| src | ||
| test | ||
| .clang-format | ||
| .gitignore | ||
| .gitmodules | ||
| .travis.yml | ||
| CMakeLists.txt | ||
| CONTRIB.md | ||
| INSTALL.md | ||
| LICENSE | ||
| README.md | ||
| VERSION.in | ||
| changes.md |