Rename "binf" files to "inf" because of conflicts on the PC.
authorGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 27 May 1992 02:09:00 +0000 (02:09 +0000)
committerGuillermo J. Rozas <edu/mit/csail/zurich/gjr>
Wed, 27 May 1992 02:09:00 +0000 (02:09 +0000)
commit6e862e08eb2705a00dfe1ffc041620d388fd5664
tree3e2be76ed954fd4b8bff28db344020cb447353fd
parent954fc18dd25208a3e35608a012fbae017b9ac203
Rename "binf" files to "inf" because of conflicts on the PC.
v7/src/compiler/base/toplev.scm