Hello Santa,
On 12/25/19 3:40 PM, Jeff Squyres (jsquyres) wrote:
On Dec 24, 2019, at 9:08 PM, Guillaume Mercier via mpi-forum
wrote:
I did just that:
make PYTHON=/usr/bin/python3.8 cleandoc
But the result is the same:
Yes, that does not work right now -- we'd have to add that. I was as
On Dec 24, 2019, at 9:08 PM, Guillaume Mercier via mpi-forum
wrote:
>
> I did just that:
> make PYTHON=/usr/bin/python3.8 cleandoc
>
> But the result is the same:
Yes, that does not work right now -- we'd have to add that. I was asking if
that would be useful to you. I guess the answer is y
