diff -r 53e7969a92eb -r c8a41699e613 doc/developpers_interface.dox
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/developpers_interface.dox	Mon Dec 06 00:30:44 2004 +0000
@@ -0,0 +1,7 @@
+/*!
+
+\page developpers_interface Developpers' interface to graph structures
+
+Under construction
+
+*/