remove overwritten header

gordonwoodhull · gordonwoodhull · commit 58fe58617803 · 2015-12-22T15:12:36.000-05:00
partly to have a better example for #1015
diff --git a/web/examples/table-pagination.html b/web/examples/table-pagination.html
@@ -7,15 +7,7 @@
 </head>
 <body>
 
-  <table id="test">
-    <thead>
-      <tr>
-        <th>Expt</th>
-        <th>#Run</th>
-        <th>Avg(Speed)</th>
-      </tr>
-    </thead>
-  </table>
+  <table id="test"></table>
   <div id="paging">
     Showing <span id="begin"></span>-<span id="end"></span> of <span id="size"></span>.
     <input id="last" type="Button" value="Last" onclick="javascript:last()" />
