wok view manserver/stuff/manserver.desktop @ rev 21724

updated ptxdist again (2012.03.0 -> 2019.06.0)
author Hans-G?nter Theisgen
date Wed Jun 12 15:14:06 2019 +0100 (2019-06-12)
parents
children
line source
1 [Desktop Entry]
2 Type=Application
3 Name=Man pages
4 Name[ru]=Страницы Man
5 Exec=browser http://localhost:8888/
6 Icon=help-contents
7 Categories=Development;Documentation;