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
..
en.lproj	Inform about use of profile name in Shortcuts (#954)	2024-11-27 15:30:15 +01:00
Credits.json	Add version view in About/Settings (#952)	2024-11-27 13:24:44 +01:00