diff options
| author | Martin Mares <mj@ucw.cz> | 1998-10-18 11:50:36 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 1998-10-18 11:50:36 +0000 |
| commit | 05e56feb57b8e313a2328dbe82e2c2a70ff5115a (patch) | |
| tree | cfac012de8b9ff61439ee969f62b4215752e3e22 /doc/banner.tex | |
| parent | 5b22683d2f27fcc5954cc9d4d58e55e539414d53 (diff) | |
Removed global pointer to proto_dev.
Diffstat (limited to 'doc/banner.tex')
0 files changed, 0 insertions, 0 deletions