mirror of
https://github.com/triqs/dft_tools
synced 2025-01-13 14:29:01 +01:00
4413c6a588
I have no clue why this is a pb, and I can not reproduce it, but the change is correct and trivial so I merge this pull request.