diff options
| author | Makarius Wenzel | 2000-02-10 11:12:47 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-02-10 11:12:47 +0000 |
| commit | 79669423a345e65a8115323626f8ca66c44280a6 (patch) | |
| tree | 2482ccf3ecca34356c8318f4809eec26b0d696c8 /html/header.phtml | |
| parent | 0139acbc3c1b2f24a9e50fea9d5da191ffe94bd3 (diff) | |
setup proof-shell-pre-interrupt-hook for Poly/ML;
Diffstat (limited to 'html/header.phtml')
0 files changed, 0 insertions, 0 deletions