| commit | e12d67006532fd6cde41625eb5325a03097a568d | [log] [tgz] |
|---|---|---|
| author | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon Jul 18 08:53:12 2022 +0100 |
| committer | Dimitris Kolovos <dkolovos@cs.york.ac.uk> | Mon Jul 18 08:53:12 2022 +0100 |
| tree | 63cff362e0631277f2fbe4a6be93c7446a0f419c | |
| parent | 60c118387a4f7f512bc0669f4df01a6565d79dbe [diff] |
Changed return type of allOfKind etc. to Collection Signed-off-by: Dimitris Kolovos <dkolovos@cs.york.ac.uk>