turn hints for shortest.brf

This commit is contained in:
Arndt 2016-10-19 18:55:25 +02:00
parent 83f439d773
commit ae8bd5f39a
2 changed files with 42 additions and 0 deletions