Deducteam/Libraries

The file sudoku_old

GuillaumeGen opened this issue · 0 comments

This file is not type-checked by the Makefile and needs the -coc option to be accepted.
I think that this file should be suppressed, or a mention must be put in the Readme to explain why it is here.