VojtechStep 7349b01505 mu: reinitialize when personal addresses change ... When the user changes which addresses mu should consider 'personal', mu's store should be reinitialized. After this change, the activation script parses the previously configured list of addresses and compares it with the new one. If they differ, it runs the init command even when the store has already been initialized.		2024-12-23 09:52:16 +01:00
..
basic-configuration.nix	mu: reinitialize when personal addresses change	2024-12-23 09:52:16 +01:00
default.nix	mu: allow aliases to be used by mu configuration file	2022-03-13 20:27:35 +01:00