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 /doc/classes/Button.xml | |
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 'doc/classes/Button.xml')
0 files changed, 0 insertions, 0 deletions