You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The dev_tools subdirectory contains a lot of scripts, most (perhaps all) of which are mentioned in other places in the documentation. Even if developers are not expected to cd into this directory and run things directly, it would still be useful to add a README to the directory itself to explain what it's about and how things are meant to be used.
The text was updated successfully, but these errors were encountered:
The dev_tools subdirectory contains a lot of scripts, most (perhaps all) of which are mentioned in other places in the documentation. Even if developers are not expected to cd into this directory and run things directly, it would still be useful to add a README to the directory itself to explain what it's about and how things are meant to be used.
The text was updated successfully, but these errors were encountered: