diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-08-23 08:03:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-23 08:03:39 +0200 |
| commit | 4fbfd10dccc297295e80407fb411de2506cb9838 (patch) | |
| tree | b4dcce8f8cdb079989c9de419a4acc1589626a7a /editor/dictionary_property_edit.h | |
| parent | f97f5a6146106bcb0525371f38c9f799281b62bb (diff) | |
| parent | 20bd64db693e256c473f3d2e83c1919a2367f7ef (diff) | |
Merge pull request #64764 from neikeq/ci-remove-mono-glue-rebuild
CI: Remove second build with mono_glue=yes
Diffstat (limited to 'editor/dictionary_property_edit.h')
0 files changed, 0 insertions, 0 deletions