diff options
| author | Makarius Wenzel | 1999-08-24 16:13:15 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-24 16:13:15 +0000 |
| commit | 2ecace28ac74af3bd2b27571e767d340adabf8f2 (patch) | |
| tree | a4b4ddc3f4c5c78c94eb6928dc193e38bc9e9de2 /Makefile | |
| parent | 0f35715b1b71964d36880c7d9e7ea721e41c1bb7 (diff) | |
isar-response-mode;
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions