aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/create_embedded_tools.py
Commit message (Expand)AuthorAge
* Replace create_embedded_tools.sh with a faster Python version.Gravatar Philipp Wollermann2017-07-28