| 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> |