diff options
| author | Pavel Machek <pavel@ucw.cz> | 1999-05-31 19:43:08 +0000 |
|---|---|---|
| committer | Pavel Machek <pavel@ucw.cz> | 1999-05-31 19:43:08 +0000 |
| commit | 9607536dbf7c50f9c2fc7a670eab51e5c313d10f (patch) | |
| tree | 3bdb1494d3788c2e4d3a99ada22f572514ec9f60 /doc/banner.tex | |
| parent | 72efa4b6f82222f91b63b9f61bbc88e458096ea7 (diff) | |
Kill duplicity between rif and rif_patt.
Diffstat (limited to 'doc/banner.tex')
0 files changed, 0 insertions, 0 deletions