doc/developers_interface.dox
author hegyi
Tue, 29 Nov 2005 19:31:58 +0000
changeset 1837 8dd6160ff699
child 2391 14a343be7a5a
permissions -rw-r--r--
Structure of GUI is now more clear-cut than before.
     1 /*!
     2 
     3 \page developers_interface Developers' interface to graph structures
     4 
     5 Under construction
     6 
     7 */