Davide 8f778faa5d Inform about use of profile name in Shortcuts (#954) ... Now that Siri is superseded by the more general Shortcuts automations, add an informational footer below the "Name" field of the profile editor.		2024-11-27 15:30:15 +01:00
..
Theme+Modifiers.swift	Inform about use of profile name in Shortcuts (#954)	2024-11-27 15:30:15 +01:00
Theme+Views.swift	Fix modals not re-appearing in iOS 16	2024-11-27 01:22:53 +01:00