[graph-tool-tickets] [graph-tool] Ticket #120: --docdir switch for the "configure" script [Status -> closed]

graph-tool webmaster at skewed.de
Fri Dec 28 10:27:34 UTC 2012


#120: --docdir switch for the "configure" script
closed enhancement
---------------------------------------------------------------------
Reporter: muellner at math.stanford.edu
Owner: tiago peixoto
Priority: minor
Milestone: (None)
---------------------------------------------------------------------
Changes (by tiago peixoto (2)): 

 * Status from 'new' to 'closed'
 * Resolution from '' to 'fixed'
---------------------------------------------------------------------
Comment:

This has been fixed in [8cc36394].
--
Ticket URL: <URL:http://graph-tool.skewed.de/ticket/120>
graph-tool <URL:http://graph-tool.skewed.de/>
An efficient python module for graph analysis and manipulation.


More information about the graph-tool-tickets mailing list