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 868facff9ded2d61425c67deeba354eb24275bd +Subproject d3c3514a59bb31406c954c2b525f330e9d16784 diff --git a/external/magnum b/external/magnum -Subproject f89e3a6e7fa9e56792e79f22434832ea87f1b47 +Subproject 4282956c400403b025fbfd314a437e56005096b diff --git a/external/magnum-plugins b/external/magnum-plugins -Subproject 7dfbea3ed2e24273fde71ccb7cf26b8a48c99cd +Subproject 4a6add209667a32061c535eba7f8aa908dd7fc8 |