Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Attachment #576810
texmaker-5.0-to-5.0.3.diff patch 2019-05-15 21:50:15 UTC 1.84 KB no flags Details