* doc/find.info*: removed from repository
commit1732fda27df325546fee18e37561a86e1991ce39
authorkevind <kevind>
Mon, 9 Oct 2000 22:13:04 +0000 (9 22:13 +0000)
committerkevind <kevind>
Mon, 9 Oct 2000 22:13:04 +0000 (9 22:13 +0000)
treeefa602d2001294b2c6a1067b40009846bf5cb10f
parentd7c489ae047ae4d618d7270a672c73f60d523ab8
* doc/find.info*: removed from repository
doc/find.info [deleted file]
doc/find.info-1 [deleted file]
doc/find.info-2 [deleted file]