diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2023-06-05 11:57:28 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2023-06-05 11:57:28 +0200 |
| commit | 54d8e4bda5c3b13c253c8ba1866f1d83f5376209 (patch) | |
| tree | ce48e8327cc7731866e0993f02265af7f2b224b9 /TS/run-paper-strong-full.sh | |
| parent | 88af11dd86149efdf0f35b8ce0873fa02b3ea288 (diff) | |
SEL: simplify Makefile
Diffstat (limited to 'TS/run-paper-strong-full.sh')
0 files changed, 0 insertions, 0 deletions