Skip to content
GitLab
Explore
Sign in
Register
Tiago Peixoto
graph-tool
Repository
graph-tool
src
graph_tool
topology
__init__.py
Find file
Blame
History
Permalink
Generate pdf images in the documentation by default
· f231d035
Tiago Peixoto
authored
Sep 02, 2011
Images are now converted to png a posteriori for html output, but are used as pdf for latex.
f231d035