diff options
| author | Joachim StroĢmbergson <joachim@assured.se> | 2020-05-12 13:30:50 +0200 |
|---|---|---|
| committer | Joachim StroĢmbergson <joachim@assured.se> | 2020-05-12 13:30:50 +0200 |
| commit | cf6e31e92bedcdd576fd9b08ddeb910e8a62ce00 (patch) | |
| tree | 55a744fcf48aee6ae1e7c2380726cae7e2524848 /toolruns/Makefile | |
| parent | d3564a0907fe14b92ab02e4da2d9f733bc32e347 (diff) | |
Minor change. variable names are easier to read.
Diffstat (limited to 'toolruns/Makefile')
0 files changed, 0 insertions, 0 deletions