diff options
| author | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-01-17 11:22:22 +0100 |
|---|---|---|
| committer | Rubén Beltrán del Río <jj@r.bdr.sh> | 2026-01-17 12:24:45 +0100 |
| commit | 88d6bf80f5cdbbb90ead197bd41a67eb8c44e50e (patch) | |
| tree | 401549b24fe8a747ef6739389b1b38f33ef016bb /resources/systems.tranquil.Map.desktop | |
| parent | 17898fbabde35ab346c133114e78614e707c0eca (diff) | |
Make clippy stricter and fix
Diffstat (limited to 'resources/systems.tranquil.Map.desktop')
| -rw-r--r-- | resources/systems.tranquil.Map.desktop | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/systems.tranquil.Map.desktop b/resources/systems.tranquil.Map.desktop index 53337d8..f76d73a 100644 --- a/resources/systems.tranquil.Map.desktop +++ b/resources/systems.tranquil.Map.desktop @@ -5,7 +5,7 @@ GenericName=Wardley Map Editor Comment=Wardley Map Editor for Linux Categories=GNOME;GTK;Graphics;Utility; Icon=systems.tranquil.Map -Exec=systems.tranquil.Map %u +Exec=map %u Terminal=false Keywords=wardley;wmap;maps;editor;wardley maps;wardley mapping; X-GNOME-Gettext-Domain=systems.tranquil.Map |