diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-02-21 15:37:20 +0100 |
|---|---|---|
| committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-02-21 15:37:20 +0100 |
| commit | ef04f621e61076ef317e08b941b0e1a5d7cae937 (patch) | |
| tree | 072995ab8cffd4d9c817d10d9f08dc3a504d1d63 /AUTHOR-glue | |
| parent | 008bf57d7e80a7859881afd38179dc6be3be8116 (diff) | |
Unity: use new definition of infinite CompRegion's
Fixes LP: #1749957 (bzr r4265.3.1)
Diffstat (limited to 'AUTHOR-glue')
0 files changed, 0 insertions, 0 deletions