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 /SEL/run-paper-strong-full.sh | |
parent | 88af11dd86149efdf0f35b8ce0873fa02b3ea288 (diff) |
SEL: simplify Makefile
Diffstat (limited to 'SEL/run-paper-strong-full.sh')
0 files changed, 0 insertions, 0 deletions