Varun Agrawal 6cfb82791b Merge pull request #1488 from borglab/fix-default-shared-libs ... Go back to default shared libraries, and fix unhandled case.		2023-03-07 18:42:51 -05:00
..
ISSUE_TEMPLATE	moved templates from .github to .github/ISSUE_TEMPLATE	2019-06-14 13:43:01 -04:00
scripts	Revert "create shared library for special builds to save memory"	2023-03-07 17:28:09 -05:00
workflows	Merge pull request #1488 from borglab/fix-default-shared-libs	2023-03-07 18:42:51 -05:00