diff options
| author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-09-26 18:48:02 +0200 |
|---|---|---|
| committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-10-01 12:32:20 +0200 |
| commit | e72987a9996d7764edb02b40e94703d8b5e5fac8 (patch) | |
| tree | 9b16030a6f3674d902b790ec45ce0aa474d9f682 /man/Makefile.am | |
| parent | 8fb8ea2f9cec925ac58ef6dce9d114899eaf962e (diff) | |
gui settings: have a static pool of other accounts
If we create them dynamically, we won’t be able to delete them due to
a hole in GLib: https://gitlab.gnome.org/GNOME/glib/-/issues/993
Diffstat (limited to 'man/Makefile.am')
0 files changed, 0 insertions, 0 deletions