diff -r e5216825f71b -r eea8ed12e4be doc/license.dox
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/license.dox	Mon Nov 15 16:09:07 2004 +0000
@@ -0,0 +1,7 @@
+/**
+
+\page license License Terms
+
+\verbinclude ../../LICENSE
+
+*/
\ No newline at end of file