diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-02-22 13:49:37 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-02-22 13:49:37 +0100 |
| commit | ce09a47db4ba7160f87ad126bbf87aa0af522fcc (patch) | |
| tree | 57e8baa37f03c64ec3913274c3358ad51cee551e /modules/gridmap/grid_map_editor_plugin.h | |
| parent | 0beb721c70dae9220f89f09f455d6843e638cd9f (diff) | |
CI: Use mono_static=yes for Mono builds
This removes the dependency on shared libmonosgen installed locally
and makes the artifacts usable as standalone for testing without
needing a full Mono install.
Diffstat (limited to 'modules/gridmap/grid_map_editor_plugin.h')
0 files changed, 0 insertions, 0 deletions