Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Attachment #26739
TeXmacs applications menu entry, to be placed in /usr/share/applications text/plain 2004-03-02 17:21:54 UTC 266 bytes no flags Details