Closed b1quint closed 7 years ago
It was reported by some users that some of the scripts have messed up indentation with tabs AND spaces. Fix that.
Used PyCharm to clean the code. Still have to check more carefully.
Seems fine.
It was reported by some users that some of the scripts have messed up indentation with tabs AND spaces. Fix that.