Deleting the inf file
Summary
We should get rid of all IO to the inf-file.
Why is this feature needed?
Nobody uses the inf file.
Implementation ideas
Look for IO to unit 16 and replace it to IO to 6 or delete it!
\label Feature Request
We should get rid of all IO to the inf-file.
Nobody uses the inf file.
Look for IO to unit 16 and replace it to IO to 6 or delete it!
\label Feature Request