summaryrefslogtreecommitdiff
path: root/development/alloy/alloy.desktop
diff options
context:
space:
mode:
Diffstat (limited to 'development/alloy/alloy.desktop')
-rw-r--r--development/alloy/alloy.desktop10
1 files changed, 10 insertions, 0 deletions
diff --git a/development/alloy/alloy.desktop b/development/alloy/alloy.desktop
new file mode 100644
index 0000000000..cf2043a64e
--- /dev/null
+++ b/development/alloy/alloy.desktop
@@ -0,0 +1,10 @@
+[Desktop Entry]
+Version=1.0
+Type=Application
+Name=Alloy Analyzer
+Comment=Alloy modeling language and analyzer
+Exec=alloy
+Icon=alloy.png
+Terminal=false
+Categories=Development;
+StartupNotify=true