christos 5d858a7a6b - remove duplicate comment ...

- flush after printing the number
(from kre@)

2020-10-12 13:54:51 +00:00

..

factor.6

…

factor.c

- remove duplicate comment

2020-10-12 13:54:51 +00:00

Makefile

…