diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-02 22:03:49 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-02 22:03:49 +0200 |
| commit | 2aba5290294f54fcb8629c6811457e9496b24171 (patch) | |
| tree | 029e78c1179f2090d0410ae3666049b3c93b6ab6 /sci-misc | |
| parent | e1a68a8c00d2b7f4ed09578305917a1595faebb4 (diff) | |
| download | overlay-2aba5290294f54fcb8629c6811457e9496b24171.tar.gz overlay-2aba5290294f54fcb8629c6811457e9496b24171.tar.bz2 overlay-2aba5290294f54fcb8629c6811457e9496b24171.zip | |
Do not create isabelle desktop entry
Diffstat (limited to 'sci-misc')
0 files changed, 0 insertions, 0 deletions