diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-09-05 15:11:09 +0200 |
|---|---|---|
| committer | Matthias Melcher <github@matthiasm.com> | 2023-09-05 15:11:09 +0200 |
| commit | 2e38007d1f1d6b13ad0ba5303bf58169ffb8da27 (patch) | |
| tree | 830ca1910666e2a14a5d04da8df19ab2428fb014 /makeinclude.in | |
| parent | 6bb5a81cee7e76e8a4e69f7f49869f39c1c382f0 (diff) | |
FLUID: increases readability
- removed some direct filename manipulation
- central place to generate file names and paths
- fixes command line filename override if no actual
batch command is given
Diffstat (limited to 'makeinclude.in')
0 files changed, 0 insertions, 0 deletions