diff options
| author | Tilman Vatteroth | 2020-11-11 20:50:52 +0100 |
|---|---|---|
| committer | Tilman Vatteroth | 2020-11-11 22:48:40 +0100 |
| commit | 4b0e9970946f16452f77d4be0801d5737c026602 (patch) | |
| tree | 1e78ce9274a7a1e73a77b9eee406ad7f2f73b4bf /.github | |
| parent | 6e6ce29de3dc2ad34241b3c521289a39812b9076 (diff) | |
Fix deprecation warning of "includeSubDomains"
Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions