diff options
| author | Makarius Wenzel | 2000-09-17 11:43:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-17 11:43:46 +0000 |
| commit | 4375fee12f8ea929444142be52ca7e5e7ee5455c (patch) | |
| tree | 74eba047ff8ed9cf1278c84bef049415715bda46 /html | |
| parent | 554ff827aa3c6735f9d444ba015bb46086f0bd0d (diff) | |
this file is now a COPY of isar/interface;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions