src/driver.h
changeset 6451 7baba06b4b85
parent 5726 8f399788f6c9
child 6720 35756db7e577
child 7666 a5fccd76176a
--- a/src/driver.h	Fri Feb 23 12:56:10 2007 +0000
+++ b/src/driver.h	Fri Feb 23 18:55:07 2007 +0000
@@ -1,5 +1,7 @@
 /* $Id$ */
 
+/** @file driver.h */
+
 #ifndef DRIVER_H
 #define DRIVER_H