Cent.Mbeck@OZ.AI.MIT.EDU ("Mark Becker") (06/01/87)
Hello -
I just found that:
#include "printf.h"
main()
{
printf("%%%d%%", 10);
}
prints "%10" and not "%10%" .
Before I start figuring out whats happening from the source code,
has anyone already corrected this?
Regards,
Mark
-------