diff options
| author | Makarius Wenzel | 1999-07-02 22:14:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-07-02 22:14:21 +0000 |
| commit | ed7765512723aff20633956d5f8769670fc223c4 (patch) | |
| tree | 9f954d266adffd4aaa45e75b26794840b656e161 /html/smallheader.phtml | |
| parent | 9af3b0e0bca207591b8172bc859c529edeea32cf (diff) | |
fixed some regexps via proof-anchor-regexp;
Diffstat (limited to 'html/smallheader.phtml')
0 files changed, 0 insertions, 0 deletions