diff options
Diffstat (limited to 'public/index.html')
| -rw-r--r-- | public/index.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/public/index.html b/public/index.html index 1aa232a..6ec4cf8 100644 --- a/public/index.html +++ b/public/index.html @@ -30,9 +30,6 @@ <div id="type-chart"> <h3>Instance breakdown by Type <a class="reset" style="display: none;" href="javascript:mv.charts.type.filterAll();dc.redrawAll();">clear</a></h3> </div> - <div id="def-chart"> - <h3>Definedness of records <span class="help" title="If logs are missing between server boot and the logs provided, not all information will be available for all records. Definedness of records falls into three categories. Records with undefined data; records with well defined data, but mixed in with records having undefined data, limiting validity of inferences; and records after any uncertain times, which are fully well defined. It is highly recommended that you filter results to only include records which are in fully well defined times; however, this may not always be possible.">[?]</span> <a class="reset" style="display: none;" href="javascript:mv.charts.def.filterAll();dc.redrawAll();">clear</a></h3> - </div> </div> </div> <div id="main"> |