diff options
| author | Kelly Rauchenberger <fefferburbia@gmail.com> | 2016-11-27 12:53:55 -0500 |
|---|---|---|
| committer | Kelly Rauchenberger <fefferburbia@gmail.com> | 2016-11-27 12:53:55 -0500 |
| commit | 1f898f3bd66c29672275c2c884b17ba662ced626 (patch) | |
| tree | b8884492f47d8c3397d0e256956987eacf17aaeb /generator/lemma.h | |
| parent | 6c2aca03c89b37e136ab4c7ea58b485dadc85bcd (diff) | |
| download | verbly-1f898f3bd66c29672275c2c884b17ba662ced626.tar.gz verbly-1f898f3bd66c29672275c2c884b17ba662ced626.tar.bz2 verbly-1f898f3bd66c29672275c2c884b17ba662ced626.zip | |
Removed nlohmann/json submodule
The submodule contained around 73MB of benchmarks and tests that are not necessary for inclusion in this project. Thus, the submodule has been removed, and the 2.0.7 release of nlohmann/json has been added to the repository.
Diffstat (limited to 'generator/lemma.h')
0 files changed, 0 insertions, 0 deletions