diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-04-27 15:03:31 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-27 15:03:31 -0500 |
commit | a1d554d9e401ff0cc860b88c2f082ab08a46542f (patch) | |
tree | 232c4ceaa038a4b7b173a930383cea2bd00f787e /src/theory/valuation.h | |
parent | 79296a59e00efe5b00496a251005d01dbeddcd48 (diff) |
Simplify tangent plane direction (#1824)
Diffstat (limited to 'src/theory/valuation.h')
0 files changed, 0 insertions, 0 deletions