diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-02 13:02:01 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-02 13:02:01 -0600 |
| commit | dc99f1c45f616a93ee84b2a6ba877518206bdbaf (patch) | |
| tree | cedcd1fcb64dd0009e996b1b02a4ed6233f73ba8 /src/preprocessing | |
| parent | 74ca9f79b0285a1139c217fbd6f3937ed66ac885 (diff) | |
Update ownership policy for dynamic quantifiers splitting (#3493)
Diffstat (limited to 'src/preprocessing')
0 files changed, 0 insertions, 0 deletions