cleaned up some option property names - SemanticDiff

Commit

6 years ago

cleaned up some option property names

References

#1678 - Python API naming and other cleanup

Author

shahasad

shahasad

Committer

shahasad

shahasad

Parents

Loading