wok annotate fltk-editor/stuff/fltk-editor.desktop @ rev 24599
updated giac (1.5.0.85 -> 1.7.0.47)
| author | Hans-Günter Theisgen |
|---|---|
| date | Wed Mar 02 07:39:53 2022 +0100 (2022-03-02) |
| parents | |
| children |
| rev | line source |
|---|---|
| pankso@16357 | 1 [Desktop Entry] |
| pankso@16357 | 2 Name=FLTK Text Editor |
| pankso@16357 | 3 Exec=fltk-editor |
| pankso@16357 | 4 Icon=text-editor |
| pankso@16357 | 5 Terminal=false |
| pankso@16357 | 6 Type=Application |
| pankso@16357 | 7 Categories=Utility; |