diff options
author | Alice Frosi <afrosi@redhat.com> | 2023-02-27 13:21:39 +0100 |
---|---|---|
committer | Alice Frosi <afrosi@redhat.com> | 2023-02-27 13:21:39 +0100 |
commit | 33750f1e9cf151d64e77f73a0f632b6de586a30e (patch) | |
tree | 37996690717f8ee1d9c00d1e504582d5f3b8494f /containerfiles | |
parent | b46f5dba8b990cdbb7c3e6f9217da09dbe251372 (diff) | |
download | seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.gz seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.bz2 seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.lz seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.xz seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.tar.zst seitan-33750f1e9cf151d64e77f73a0f632b6de586a30e.zip |
seitan: add op_end
The op_end signal to terminate reading the operations. This is useful
for the introductions of branches for the matches.
Diffstat (limited to 'containerfiles')
0 files changed, 0 insertions, 0 deletions