We have some duplicated info in https://github.com/moves-rwth/stormpy/blob/master/cmake/config.py.in and https://github.com/moves-rwth/stormpy/blob/master/cmake/info_config.py.in. I wonder which to keep.
We have some duplicated info in https://github.com/moves-rwth/stormpy/blob/master/cmake/config.py.in and https://github.com/moves-rwth/stormpy/blob/master/cmake/info_config.py.in. I wonder which to keep.