From 6202a22940efb0a8d3a983c5bf6bf62c849b998f Mon Sep 17 00:00:00 2001
From: wolf
diff --git a/deal.II/doc/development/toc.html b/deal.II/doc/development/toc.html index ec6ebee6a0..e965172100 100644 --- a/deal.II/doc/development/toc.html +++ b/deal.II/doc/development/toc.html @@ -67,6 +67,15 @@ results can be seen here. (This reference points to the global copy, not one in your local directory.)
+ +Results of build tests: We also build the + library each night on a variety of computers, using different + compilers. The results of these builds is listed as + well. (This reference also points to the global + copy, not one in your local directory.) +