Index: pages/redundancy_check.raw |
=================================================================== |
--- a/pages/redundancy_check.raw |
+++ b/pages/redundancy_check.raw |
@@ -18,7 +18,7 @@ |
<p> |
<textarea cols="80" id="filters" rows="20" style="width: 100%; height: 200px;"></textarea><br> |
- <button onclick="doCheck()" style="float: right;">$s16$</button> |
+ <button onclick="doCheck()" style="float: right;">$title$</button> |
</p> |
<p class="hidden">$s17$ <span id="status"></span></p> |