diff options
Diffstat (limited to 'sci-mathematics/coq/files/coqide.desktop')
-rw-r--r-- | sci-mathematics/coq/files/coqide.desktop | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/sci-mathematics/coq/files/coqide.desktop b/sci-mathematics/coq/files/coqide.desktop deleted file mode 100644 index cc8bb54e1ad1..000000000000 --- a/sci-mathematics/coq/files/coqide.desktop +++ /dev/null @@ -1,9 +0,0 @@ -[Desktop Entry] -Comment=Coq integrated developpment environment -Icon=/usr/lib/coq/ide/coq.png -Exec=/usr/bin/coqide -Name=CoqIDE -GenericName=Coq IDE -Terminal=false -Type=Application -Categories=Science;Math; |