diff options
-rw-r--r-- | geomspace.desktop | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/geomspace.desktop b/geomspace.desktop deleted file mode 100644 index f39f6ef35aca..000000000000 --- a/geomspace.desktop +++ /dev/null @@ -1,9 +0,0 @@ -[Desktop Entry] -Name=Geomspace -Comment=A browser for geometric (i.e. Euclidean, Riemann, Minkowski) spaces -Exec=/usr/bin/geomspace -Icon=geomspace.png -Terminal=false -Type=Application -Encoding=UTF-8 -Categories=Application;Science;
\ No newline at end of file |