wok view fltk-editor/stuff/fltk-editor.desktop @ rev 22177

corrected font-manager
author Hans-G?nter Theisgen
date Sat Nov 09 11:33:35 2019 +0100 (2019-11-09)
parents
children
line source
1 [Desktop Entry]
2 Name=FLTK Text Editor
3 Exec=fltk-editor
4 Icon=text-editor
5 Terminal=false
6 Type=Application
7 Categories=Utility;