diff options
| m--------- | external/imgui | 0 | ||||
| m--------- | external/magnum | 0 | ||||
| m--------- | external/magnum-plugins | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/external/imgui b/external/imgui -Subproject d3c3514a59bb31406c954c2b525f330e9d16784 +Subproject 4bb75671414f532fc11e85e06e0ab972e42a890 diff --git a/external/magnum b/external/magnum -Subproject 4282956c400403b025fbfd314a437e56005096b +Subproject 48538403b62b233b076c06294a35ddc61ae3897 diff --git a/external/magnum-plugins b/external/magnum-plugins -Subproject 4a6add209667a32061c535eba7f8aa908dd7fc8 +Subproject a79442bb817e20c18d3139e42bd0c2871bbf8fe |