summaryrefslogtreecommitdiff
path: root/doc/banner.tex
diff options
context:
space:
mode:
authorMartin Mares <mj@ucw.cz>1999-02-05 21:38:50 +0000
committerMartin Mares <mj@ucw.cz>1999-02-05 21:38:50 +0000
commit10d807d000155a6257f6fbad88eb72a8bf9045da (patch)
treed5a5d175b49efa2585a7e8aa3dd9b0114a9d01be /doc/banner.tex
parente9e3dc265971fbf985c5df09cb1d98494c386581 (diff)
Synced kernel interface to new interface.
Diffstat (limited to 'doc/banner.tex')
0 files changed, 0 insertions, 0 deletions