Commit bcdbd126a5c099981b6d637b09d376dc22fa0f46

Martin Mitas 2020-09-17T09:55:33

scripts/build_folding_map.py: Fix/improve a comment.