diff --git a/doc/devel/uml/DIR_INFO b/doc/devel/uml/DIR_INFO new file mode 100644 index 000000000..94b06b274 --- /dev/null +++ b/doc/devel/uml/DIR_INFO @@ -0,0 +1 @@ +Bouml generated HTML doc