Closed tstibor closed 6 years ago
The sub-directory devTools/* was removed with commit a7bccfef570fa98f68aefafac516590d92d44aec so remove the section in the README.md documentation about this topic.
Merged. Thank you Thomas for pointing out this.
The sub-directory devTools/* was removed with commit a7bccfef570fa98f68aefafac516590d92d44aec so remove the section in the README.md documentation about this topic.