diff --git a/src/lib/stats/lib_stats.dox b/src/lib/stats/lib_stats.dox deleted file mode 100644 index 897c41418f..0000000000 --- a/src/lib/stats/lib_stats.dox +++ /dev/null @@ -1,4 +0,0 @@ -/** -@dir lib/stats -@brief lib/stats -**/