doc/developers_interface.dox
author ladanyi
Tue, 11 Jul 2006 15:50:19 +0000
changeset 2127 1d43a276fc26
child 2391 14a343be7a5a
permissions -rw-r--r--
Do not install the documentation if configure was called with --disable-doc.
     1 /*!
     2 
     3 \page developers_interface Developers' interface to graph structures
     4 
     5 Under construction
     6 
     7 */