diff options
| author | Alice Frosi <afrosi@redhat.com> | 2023-09-08 08:47:42 -0400 |
|---|---|---|
| committer | Alice Frosi <afrosi@redhat.com> | 2023-09-08 08:47:42 -0400 |
| commit | c72c2493de8990c3a3b4780ec1429a3c359c121e (patch) | |
| tree | b365fdd28e95c46fcc7d9018f2adf7ab7d5ae4c6 /demo | |
| parent | 7837722a09c08957af93055062cecfd9c3ea8b14 (diff) | |
| download | seitan-c72c2493de8990c3a3b4780ec1429a3c359c121e.tar seitan-c72c2493de8990c3a3b4780ec1429a3c359c121e.tar.gz seitan-c72c2493de8990c3a3b4780ec1429a3c359c121e.tar.bz2 seitan-c72c2493de8990c3a3b4780ec1429a3c359c121e.tar.lz seitan-c72c2493de8990c3a3b4780ec1429a3c359c121e.tar.xz seitan-c72c2493de8990c3a3b4780ec1429a3c359c121e.tar.zst seitan-c72c2493de8990c3a3b4780ec1429a3c359c121e.zip | |
seitan: try to improve print of the arguments to check
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions