projects / shuber-gentoo-overlay.git / tree
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
media-gfx/ipe-tools: Do not depend on python[xml]
[shuber-gentoo-overlay.git] / dev-tex /
drwxr-xr-x   ..
drwxr-xr-x - git-latexdiff tree | history
Stefan Huber's gentoo overlay.