aboutsummaryrefslogtreecommitdiff
path: root/src/common_targets.py
Commit message (Collapse)AuthorAgeFilesLines
* add custom target optionFlorian Fischer2019-01-221-48/+0
| | | | | the custom target definitions must be a valid python script exporting a global dictionary "targets".
* static link libgcc and libstdc++Florian Fischer2019-01-221-1/+1
|
* remove debug output from write_best_doublearg_tex_tableFlorian Fischer2019-01-151-0/+48